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 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Papers

API Analytics for Curating Static Analysis Rules
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot
(GrammaTech, USA)
Article Search
MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof
(TU Darmstadt, Germany)
Article Search
Online Verification of Commutativity
Aditi Kabra, Dietrich Geisler, and Adrian Sampson
(Carnegie Mellon University, USA; Cornell University, USA)
Article Search
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)
Article Search
Type Checking beyond Type Checkers, via Slice & Run
Justus Adam and Stephen Kell
(University of Kent, UK)
Article Search

proc time: 1.64