SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 09:00 - 09:20 at SPLASH-V - Session 3

Use of third-party library APIs is pervasive, but can be error-prone. API-usage errors can be detected via static analysis if specifications of correct usage are available, but manually creating such specifications is a bottleneck. We showcase a semi-automated “big code” solution, where we use large code corpora to mine patterns in API usage, and ask human experts to perform analytics on those patterns to create static analysis rules.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 3TAPAS at SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker, Ruzica PiskacYale University, USA, Mark SantolucitoBarnard College, Columbia University, USA