Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th

First Page		Document Content
Date: 2005-05-12 23:00:24 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Computing Concurrency control Computer programming		Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th Add to Reading List Source URL: people.csail.mit.edu Download Document from Source Website File Size: 281,19 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