ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 36 Issue 2, July 2014

Specialization Slicing
Min Aung, Susan Horwitz, Rich Joiner, Thomas Reps
Article No.: 5
DOI: 10.1145/2566620

This paper defines a new variant of program slicing, called specialization slicing, and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization slicing is...

Atomicity Refinement for Verified Compilation
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
Article No.: 6
DOI: 10.1145/2601339

We consider the verified compilation of high-level managed languages like Java or C# whose intermediate representations provide support for shared-memory synchronization and automatic memory management. Our development is framed in the context...

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Jade Alglave, Luc Maranget, Michael Tautschnig
Article No.: 7
DOI: 10.1145/2627752

We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this framework for Sequential Consistency (SC), Total Store Order (TSO), C++ restricted to release-acquire atomics, and Power. For Power, we...