enter search term and/or author name
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
Article No.: 4
Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and hash-tables). However, many concurrent applications require custom synchronization constructs with...
Compiler-Driven Software Speculation for Thread-Level Parallelism
Paraskevas Yiapanis, Gavin Brown, Mikel Luján
Article No.: 5
Current parallelizing compilers can tackle applications exercising regular access patterns on arrays or affine indices, where data dependencies can be expressed in a linear form. Unfortunately, there are cases that independence between statements...
We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters for resolving given...
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
Article No.: 7