Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 5)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450381895

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

API analytics for curating static analysis rules

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ◽

10.1145/3427764.3428318 ◽

2020 ◽

Author(s):

Vineeth Kashyap ◽

Roger Scott ◽

Joseph Ranieri ◽

David Melski ◽

Lucja Kot

Keyword(s):

Static Analysis

Download Full-text

Type checking beyond type checkers, via slice & run

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ◽

10.1145/3427764.3428324 ◽

2020 ◽

Author(s):

Justus Adam ◽

Stephen Kell

Keyword(s):

Type Checking

Download Full-text

Towards checkpoint placement for dynamic memory allocation in intermittent computing

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ◽

10.1145/3427764.3428323 ◽

2020 ◽

Author(s):

Nicholas Shoemaker ◽

Ruzica Piskac ◽

Mark Santolucito

Keyword(s):

Memory Allocation ◽

Dynamic Memory ◽

Dynamic Memory Allocation

Download Full-text

Online verification of commutativity

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ◽

10.1145/3427764.3428322 ◽

2020 ◽

Author(s):

Aditi Kabra ◽

Dietrich Geisler ◽

Adrian Sampson

Keyword(s):

Online Verification

Download Full-text

MetaCG: annotated call-graphs to facilitate whole-program analysis

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ◽

10.1145/3427764.3428320 ◽

2020 ◽

Author(s):

Jan-Patrick Lehr ◽

Alexander Hück ◽

Yannic Fischler ◽

Christian Bischof

Keyword(s):

Program Analysis ◽

Call Graphs

Download Full-text

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program AnalysisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

API analytics for curating static analysis rules

Type checking beyond type checkers, via slice & run

Towards checkpoint placement for dynamic memory allocation in intermittent computing

Online verification of commutativity

MetaCG: annotated call-graphs to facilitate whole-program analysis

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
Latest Publications