BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kelly:Terence

Contributed to:

CGO 20132013
CASE 20092009
POPL 20092009
OSDI 20082008
SOSP 20052005
OSDI 20042004
ASPLOS 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.