SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS 2020), November 17, 2020, Virtual, USA

TAPAS 2020 – Proceedings

Contents - Abstracts - Authors

11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS 2020)

Frontmatter

Title Page
Welcome from the Chairs

Papers

API Analytics for Curating Static Analysis Rules
Vineeth KashyapORCID logo, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot
(GrammaTech, USA)
Publisher's Version
MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof
(TU Darmstadt, Germany)
Publisher's Version
Online Verification of Commutativity
Aditi Kabra, Dietrich Geisler, and Adrian SampsonORCID logo
(Carnegie Mellon University, USA; Cornell University, USA)
Publisher's Version
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Nicholas Shoemaker ORCID logo, Ruzica Piskac ORCID logo, and Mark Santolucito ORCID logo
(Branford High School, USA; Yale University, USA; Barnard College, USA; Columbia University, USA)
Publisher's Version
Type Checking beyond Type Checkers, via Slice & Run
Justus AdamORCID logo and Stephen Kell
(University of Kent, UK)
Publisher's Version

proc time: 2.2