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

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

0
(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

2020 ◽  
Author(s):  
Vineeth Kashyap ◽  
Roger Scott ◽  
Joseph Ranieri ◽  
David Melski ◽  
Lucja Kot
Keyword(s):  
Static Analysis

Online verification of commutativity

2020 ◽  
Author(s):  
Aditi Kabra ◽  
Dietrich Geisler ◽  
Adrian Sampson
Keyword(s):  
Online Verification

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

2020 ◽  
Author(s):  
Jan-Patrick Lehr ◽  
Alexander Hück ◽  
Yannic Fischler ◽  
Christian Bischof
Keyword(s):  
Program Analysis ◽  
Call Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document