API Analytics for Curating Static Analysis Rules
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
|API Analytics for Curating Static Analysis Rules|
|Online Verification of Commutativity|
Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell UniversityPre-print
|Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing|