Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang

First Page		Document Content
Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software		Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Download Document from Source Website File Size: 242,26 KB Share Document on Facebook

	Auton Robot DOIs10514Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles Javier Alonso-Mora1,4 · Jonathan A. DeCastro2 · Vasumathi Raman3 · DocID: 1vhNQ - View Document
	Lockout: Efficient Testing for Deadlock Bugs ∗ Ali Kheradmand School of Computer and DocID: 1uLHk - View Document
	Breaking through the Digital Deadlock Meredith Whalen SVP, IT Executive, Industry, Software and Services Research © IDC Many Organizations Are at a DX Deadlock DocID: 1uKlI - View Document
	deadlock atto unico di Luca Viganò (1996) PERSONAGGI DocID: 1uBbf - View Document
	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 DocID: 1tGzX - View Document