Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang

First Page		Document Content
Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing		Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Download Document from Source Website File Size: 622,04 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