enter search term and/or author name
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
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
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...