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
Article: splashws20tapasforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws20tapasforeword-fm001-p doi:

Papers

API Analytics for Curating Static Analysis Rules
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot
(GrammaTech, USA)
Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
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 Article: splashws20tapasmain-id3-p doi:10.1145/3427764.3428320
Online Verification of Commutativity
Aditi Kabra, Dietrich Geisler, and Adrian Sampson
(Carnegie Mellon University, USA; Cornell University, USA)
Publisher's Version Article: splashws20tapasmain-id5-p doi:10.1145/3427764.3428322
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Nicholas Shoemaker, Ruzica Piskac, and Mark Santolucito
(Branford High School, USA; Yale University, USA; Barnard College, USA; Columbia University, USA)
Publisher's Version Article: splashws20tapasmain-id6-p doi:10.1145/3427764.3428323
Type Checking beyond Type Checkers, via Slice & Run
Justus Adam and Stephen Kell
(University of Kent, UK)
Publisher's Version Article: splashws20tapasmain-id7-p doi:10.1145/3427764.3428324

proc time: 0.63