Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 35 Issue 4, December 2013

Making the java memory model safe
Andreas Lochbihler
Article No.: 12
DOI: 10.1145/2518191

This work presents a machine-checked formalisation of the Java memory model and connects it to an operational semantics for Java and Java bytecode. For the whole model, I prove the data race freedom guarantee and type safety. The model extends...

Divergence analysis
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira
Article No.: 13
DOI: 10.1145/2523815

Growing interest in graphics processing units has brought renewed attention to the Single Instruction Multiple Data (SIMD) execution model. SIMD machines give application developers tremendous computational power; however, programming them is...

Reachability analysis of program variables
Đurica Nikolić, Fausto Spoto
Article No.: 14
DOI: 10.1145/2529990

Reachability from a program variable v to a program variable w states that from v, it is possible to follow a path of memory locations that leads to the object bound to w. We present a new abstract domain for the static...