PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kelly, Terence"

Author of the publication

copydeleteadd this publication to your clipboard
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

, , , , and . OSDI, page 281-294. USENIX Association, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Kelly Neudorfer University of Stuttgart

 

Other publications of authors with the same name

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)., , , , , , and . CASE, page 37-41. IEEE, (2009)On atomicity enforcement in concurrent software via Discrete Event Systems theory., , , , , and . CDC, page 7230-7237. IEEE, (2012)Discrete Control for Dependable IT Automation., , and . HotDep, USENIX Association, (2006)Practical lock/unlock pairing for concurrent programs., , , , , and . CGO, page 6:1-6:12. IEEE Computer Society, (2013)Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control., , , , and . OSDI, page 231-244. USENIX Association, (2004)Thin-client Web access patterns: Measurements from a cache-busting proxy.. Computer Communications, 25 (4): 357-366 (2002)Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience., , , and . EDBT, page 689-694. OpenProceedings.org, (2015)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , and . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP., , and . NSDI, page 43-56. USENIX, (2004)Detecting Performance Anomalies in Global Applications.. WORLDS, USENIX Association, (2005)