Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 37 Issue 3, June 2015

Automated Classification of Data Races Under Both Strong and Weak Memory Models
Baris Kasikci, Cristian Zamfir, George Candea
Article No.: 8
DOI: 10.1145/2734118

Data races are one of the main causes of concurrency problems in multithreaded programs. Whether all data races are bad, or some are harmful and others are harmless, is still the subject of vigorous scientific debate [Narayanasamy et al. 2007;...

An Extension of ATL with Strategy Interaction
Farn Wang, Sven Schewe, Chung-Hao Huang
Article No.: 9
DOI: 10.1145/2734117

We propose an extension to ATL (alternating-time temporal logic), called BSIL (basic strategy-interaction logic), for specifying collaboration among agents in a multiagent system. We show that BSIL is strictly more...

The Design and Implementation of a Verification Technique for GPU Kernels
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
Article No.: 10
DOI: 10.1145/2743017

We present a technique for the formal verification of GPU kernels, addressing two classes of correctness properties: data races and barrier divergence. Our approach is founded on a novel formal operational semantics for GPU kernels termed...