Inferring Locks for Atomic Sections Cornell University (summer intern at Microsoft Research) Microsoft Research Sigmund CheremTrishul ChilimbiSumit Gulwani.
Http:// Welcome to the Open Access Repository World! University of Glamorgan, 22 nd May 2008 Peter Millington SHERPA Technical Development.
