Summary: Automatic Fine-Grain Locking using Shape Properties
Guy Golan-Gueta
Tel Aviv University
ggolan@tau.ac.il
Nathan Bronson
Stanford University
nbronson@cs.stanford.edu
Alex Aiken
Stanford University
aiken@cs.stanford.edu
G. Ramalingam
Microsoft Research
grama@microsoft.com
Mooly Sagiv
Tel Aviv University
msagiv@tau.ac.il
Eran Yahav
Technion
yahave@cs.technion.ac.il
Abstract

Source: Aiken, Alex - Department of Computer Science, Stanford University

Collections: Computer Technologies and Information Sciences