Terence Kelly

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Combinatorial Auctions

Business Owners

Gaussian Convolution

Top Venues

login Usenix Mag.

Publications

Terence Kelly
Zero Tolerance for Bias. ACM Queue 22 (2) (2024)
Terence Kelly
Programmer Job Interviews: The Hidden Agenda. ACM Queue 21 (6) (2024)
Terence Kelly
Protecting Secrets from Computers. ACM Queue 21 (4) (2023)
Suyash Mahar, Mingyao Shen, Terence Kelly, Steven Swanson
Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. CoRR (2023)
Terence Kelly, Yekai Pan
Catch-23: The New C Standard Sets the World on Fire. ACM Queue 21 (1) (2023)
Suyash Mahar, Mingyao Shen, Terence Kelly, Steven Swanson
Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. ICCD (2023)
Terence Kelly
Persistent Memory Allocation: Leverage to move a world of software. ACM Queue 20 (2) (2022)
Terence Kelly
Literate Executables. ACM Queue 20 (5) (2022)
Terence Kelly, Weiwei Gu, Vladimir Maksimovski
Schrödinger's Code: Undefined behavior in theory and practice. ACM Queue 19 (2) (2021)
Terence Kelly
Letters. Computer 54 (8) (2021)
Terence Kelly
Crashproofing the Original NoSQL Key-Value Store: An upgrade for the gdbm database. ACM Queue 19 (4) (2021)
Terence Kelly
Steampunk Machine Learning: Victorian contrivances for modern data science. ACM Queue 19 (6) (2021)
Terence Kelly
Is persistent memory persistent? Commun. ACM 63 (9) (2020)
Terence Kelly
Efficient Graph Search. ACM Queue 18 (4) (2020)
Terence Kelly
Programming Workbench: Compressed Sparse Row Format for Representing Graphs. login Usenix Mag. 45 (4) (2020)
Terence Kelly
Decentralized Computing. ACM Queue 18 (5) (2020)
Terence Kelly
Is Persistent Memory Persistent? ACM Queue 18 (2) (2020)
Terence Kelly
Programming Workbench: Hand-Over-Hand Locking for Highly Concurrent Collections. login Usenix Mag. 45 (3) (2020)
Terence Kelly
Offline Algorithms in Low-Frequency Trading: Clearing Combinatorial Auctions. ACM Queue 18 (6) (2020)
Terence Kelly
A penny in every fuse box. Inroads 11 (4) (2020)
Terence Kelly
Persistent Memory Programming on Conventional Hardware. ACM Queue 17 (4) (2019)
Terence Kelly
Good Old-Fashioned Persistent Memory. login Usenix Mag. 44 (4) (2019)
Faisal Nawab, Joseph Izraelevitz, Terence Kelly, Charles B. Morrey III, Dhruva R. Chakrabarti, Michael L. Scott
Dalí: A Periodically Persistent Hash Map. DISC (2017)
Joseph Izraelevitz, Terence Kelly, Aasheesh Kolli
Failure-Atomic Persistent Memory Updates via JUSTDO Logging. ASPLOS (2016)
Rajat Verma, Anton Ajay Mendez, Stan Park, Sandya S. Mannarswamy, Terence Kelly, Charles B. Morrey III
Failure-Atomic Updates of Application Data in a Linux File System. FAST (2015)
Faisal Nawab, Dhruva R. Chakrabarti, Terence Kelly, Charles B. Morrey III
Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience. EDBT (2015)
Stan Park, Terence Kelly, Kai Shen
Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. EuroSys (2013)
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. Discret. Event Dyn. Syst. 23 (2) (2013)
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21 (6) (2013)
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
Practical lock/unlock pairing for concurrent programs. CGO (2013)
Sunghwan Yoo, Charles Edwin Killian, Terence Kelly, Hyoun Kyu Cho, Steven Plite
Composable Reliability for Asynchronous Systems. USENIX Annual Technical Conference (2012)
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)
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES (2010)
Andrew Byde, Terence Kelly, Yunhong Zhou, Robert Endre Tarjan
Efficiently Generating k-Best Solutions to Procurement Auctions. AAIM (2009)
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)
Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke
Eliminating Concurrency Bugs with Control Engineering. Computer 42 (11) (2009)
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)
Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke
The theory of deadlock avoidance via discrete control. POPL (2009)
Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart
Operational analysis of processor speed scaling. SPAA (2008)
Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI (2008)
Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen
A Dollar from 15 Cents: Cross-Platform Management for Internet Services. USENIX Annual Technical Conference (2008)
Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart
Operational Analysis of Parallel Servers. MASCOTS (2008)
Christopher Stewart, Terence Kelly, Alex Zhang
Exploiting nonstationarity for performance prediction. EuroSys (2007)
Yin Wang, Terence Kelly, Stéphane Lafortune
Discrete control for safe execution of IT automation workflows. EuroSys (2007)
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)
Yin Wang, Terence Kelly, Stéphane Lafortune
Discrete Control for Dependable IT Automation. HotDep (2006)
Terence Kelly, Andrew Byde
Generating k-best solutions to auction winner determination problems. SIGecom Exch. 6 (1) (2006)
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)
Terence Kelly
Detecting Performance Anomalies in Global Applications. WORLDS (2005)
Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox
Capturing, indexing, clustering, and retrieving system history. SOSP (2005)
Yunhong Zhou, Terence Kelly, Janet L. Wiener, Eric Anderson
An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering. JSSPP (2005)
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)
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)
Terence Kelly
Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation. AMEC (2004)
Jeffrey C. Mogul, Yee-Man Chan, Terence Kelly
Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP. NSDI (2004)
Terence Kelly
Combinatorial Auctions and Knapsack Problems. AAMAS (2004)
Terence Kelly
Thin-client Web access patterns: Measurements from a cache-busting proxy. Comput. Commun. 25 (4) (2002)
Terence Kelly, Jeffrey C. Mogul
Aliasing on the world wide web: prevalence and performance implications. WWW (2002)