TAPAS 2020 – Proceedings

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

Frontmatter

Papers

API Analytics for Curating Static Analysis Rules
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot
(GrammaTech, USA)


@InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } 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)


@InProceedings{TAPAS20p3, author = {Jan-Patrick Lehr and Alexander Hück and Yannic Fischler and Christian Bischof}, title = {MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3427764.3428320}, year = {2020}, } Publisher's Version

Online Verification of Commutativity
Aditi Kabra, Dietrich Geisler, and Adrian Sampson
(Carnegie Mellon University, USA; Cornell University, USA)


@InProceedings{TAPAS20p13, author = {Aditi Kabra and Dietrich Geisler and Adrian Sampson}, title = {Online Verification of Commutativity}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3427764.3428322}, year = {2020}, } Publisher's Version

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)


@InProceedings{TAPAS20p23, author = {Nicholas Shoemaker and Ruzica Piskac and Mark Santolucito}, title = {Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3427764.3428323}, year = {2020}, } Publisher's Version

Type Checking beyond Type Checkers, via Slice & Run
Justus Adam and Stephen Kell
(University of Kent, UK)


@InProceedings{TAPAS20p26, author = {Justus Adam and Stephen Kell}, title = {Type Checking beyond Type Checkers, via Slice & Run}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {26-25}, doi = {10.1145/3427764.3428324}, year = {2020}, } Publisher's Version

proc time: 0.66