ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
Latest Publications
TOTAL DOCUMENTS
5
(FIVE YEARS 5)
H-INDEX
0
(FIVE YEARS 0)
Published By ACM
9781450381895
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close