Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 8)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450384681

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scalable string analysis: an experience report

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464321 ◽

2021 ◽

Author(s):

Kostyantyn Vorobyov ◽

Yang Zhao ◽

Padmanabhan Krishnan

Keyword(s):

Experience Report ◽

String Analysis

Download Full-text

Multi-language static code analysis on the LARA framework

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464317 ◽

2021 ◽

Author(s):

Gil Teixeira ◽

João Bispo ◽

Filipe F. Correia

Keyword(s):

Code Analysis ◽

Static Code Analysis

Download Full-text

Serialization-aware call graph construction

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464319 ◽

2021 ◽

Author(s):

Joanna C. S. Santos ◽

Reese A. Jones ◽

Chinomso Ashiogwu ◽

Mehdi Mirakhorli

Keyword(s):

Download Full-text

PerfLens: a data-driven performance bug detection and fix platform

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464318 ◽

2021 ◽

Author(s):

Spandan Garg ◽

Roshanak Zilouchian Moghaddam ◽

Neel Sundaresan ◽

Chen Wu

Keyword(s):

Data Driven ◽

Download Full-text

Security and quality: two sides of the same coin?

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464315 ◽

2021 ◽

Author(s):

Steven Arzt

Keyword(s):

Download Full-text

Static analysis for dummies: experiencing LiSA

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464316 ◽

2021 ◽

Author(s):

Pietro Ferrara ◽

Luca Negrini ◽

Vincenzo Arceri ◽

Agostino Cortesi

Keyword(s):

Static Analysis

Download Full-text

Program analysis for reversible languages

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464314 ◽

2021 ◽

Author(s):

Niklas Deworetzki ◽

Uwe Meyer

Keyword(s):

Program Analysis

Download Full-text

Weldr: fusing binaries for simplified analysis

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464320 ◽

2021 ◽

Author(s):

Alexander Heinricher ◽

Ryan Williams ◽

Ava Klingbeil ◽

Alex Jordan

Keyword(s):

Simplified Analysis

Download Full-text