Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 36 Issue 3, September 2014

Global Sparse Analysis Framework
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Article No.: 8
DOI: 10.1145/2590811

In this article, we present a general method for achieving global static analyzers that are precise and sound, yet also scalable. Our method, on top of the abstract interpretation framework, is a general sparse analysis technique that supports...

Pattern-Based Verification for Multithreaded Programs
Javier Esparza, Pierre Ganty, Tomáš Poch
Article No.: 9
DOI: 10.1145/2629644

Pattern-based verification checks the correctness of program executions that follow a given pattern, a regular expression over the alphabet of program transitions of the form w1*...

Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism
Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua
Article No.: 10
DOI: 10.1145/2629643

Lazy scheduling is a runtime scheduler for task-parallel codes that effectively coarsens parallelism on load conditions in order to significantly reduce its overheads compared to existing approaches, thus enabling the efficient execution of...