Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Terence Kelly
2010 – today
- 2013
[j4]Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis: Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discrete Event Dynamic Systems 23(2): 157-195 (2013)- [c23]Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke: Practical lock/unlock pairing for concurrent programs. CGO 2013: 1-12
- [c22]Stan Park, Terence Kelly, Kai Shen: Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. EuroSys 2013: 225-238
- 2012
- [c21]Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang: On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC 2012: 7230-7237
2000 – 2009
- 2009
- [j3]Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke: Eliminating Concurrency Bugs with Control Engineering. IEEE Computer 42(11): 52-60 (2009)
- [c20]Andrew Byde, Terence Kelly, Yunhong Zhou, Robert Endre Tarjan: Efficiently Generating k-Best Solutions to Procurement Auctions. AAIM 2009: 68-84
- [c19]Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41
- [c18]Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC 2009: 4971-4976
- [c17]Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke: The theory of deadlock avoidance via discrete control. POPL 2009: 252-263
- 2008
- [c16]Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart: Operational Analysis of Parallel Servers. MASCOTS 2008: 227-236
- [c15]Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI 2008: 281-294
- [c14]Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart: Operational analysis of processor speed scaling. SPAA 2008: 179-181
- [c13]Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen: A Dollar from 15 Cents: Cross-Platform Management for Internet Services. USENIX Annual Technical Conference 2008: 199-212
- 2007
- [c12]Christopher Stewart, Terence Kelly, Alex Zhang: Exploiting nonstationarity for performance prediction. EuroSys 2007: 31-44
- [c11]Yin Wang, Terence Kelly, Stéphane Lafortune: Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314
- [c10]Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano A. Santos, Janet L. Wiener, Xiaoyun Zhu, Dirk Beyer: Don't Settle for Less Than the Best: Use Optimization to Make Decisions. HotOS 2007
- 2006
- [j2]Terence Kelly, Andrew Byde: Generating k-best solutions to auction winner determination problems. SIGecom Exchanges 6(1): 23-34 (2006)
- 2005
- [c9]Yunhong Zhou, Terence Kelly, Janet L. Wiener, Eric Anderson: An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering. JSSPP 2005: 123-145
- [c8]Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou: Deadline scheduling for animation rendering. SIGMETRICS 2005: 384-385
- [c7]Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox: Capturing, indexing, clustering, and retrieving system history. SOSP 2005: 105-118
- [c6]Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou: Value-maximizing deadline scheduling and its application to animation rendering. SPAA 2005: 299-308
- 2004
- [c5]Terence Kelly: Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation. AMEC 2004: 73-86
- [c4]
- [c3]Jeffrey C. Mogul, Yee-Man Chan, Terence Kelly: Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP. NSDI 2004: 43-56
- [c2]Ira Cohen, Jeffrey S. Chase, Moisés Goldszmidt, Terence Kelly, Julie Symons: Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control. OSDI 2004: 231-244
- 2002
- [j1]Terence Kelly: Thin-client Web access patterns: Measurements from a cache-busting proxy. Computer Communications 25(4): 357-366 (2002)
- [c1]Terence Kelly, Jeffrey C. Mogul: Aliasing on the world wide web: prevalence and performance implications. WWW 2002: 281-292
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-21 22:02 CEST by the dblp team