Travelled to:
1 × China
1 × India
1 × United Kingdom
3 × USA
Collaborated with:
Y.Wang S.Lafortune S.A.Mahlke M.Kudlur I.Cohen M.Goldszmidt J.Symons Joseph Izraelevitz Aasheesh Kolli H.Liao J.S.Chase H.K.Cho S.Zhang A.Fox A.Nazeem S.A.Reveliotis
Talks about:
deadlock (3) program (3) avoid (3) multithread (2) control (2) system (2) instrument (1) diagnosi (1) retriev (1) practic (1)
Person: Terence Kelly
DBLP: Kelly:Terence
Contributed to:
Wrote 7 papers:
- CGO-2013-ChoKWLLM #concurrent #source code
- Practical lock/unlock pairing for concurrent programs (HKC, TK, YW, SL, HL, SAM), p. 12.
- CASE-2009-WangLNRKML #concurrent #parallel #source code #thread
- Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
- POPL-2009-WangLKKM #concurrent #formal method
- The theory of deadlock avoidance via discrete control (YW, SL, TK, MK, SAM), pp. 252–263.
- OSDI-2008-WangKKLM #concurrent #named #parallel #source code #thread
- Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
- SOSP-2005-CohenZGSKF #clustering
- Capturing, indexing, clustering, and retrieving system history (IC, SZ, MG, JS, TK, AF), pp. 105–118.
- OSDI-2004-CohenCGKS #automation #correlation
- Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control (IC, JSC, MG, TK, JS), pp. 231–244.
- ASPLOS-2016-IzraelevitzKK #memory management #persistent
- Failure-Atomic Persistent Memory Updates via JUSTDO Logging (JI, TK, AK), pp. 427–442.