Aliasing on the world wide web: prevalence and performance implications. - Terence Kelly; Jeffrey C. Mogul (WWW, 2002)

Thin-client Web access patterns: Measurements from a cache-busting proxy. - Terence Kelly (Comput. Commun., 2002)

Optimization inWeb Caching: Cache Management, Capacity Planning, and Content Naming. - Terence Kelly (2002)

Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation. - Terence Kelly (AMEC, 2004)

Combinatorial Auctions and Knapsack Problems. - Terence Kelly (AAMAS, 2004)

Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP. - Jeffrey C. Mogul; Yee-Man Chan; Terence Kelly (NSDI, 2004)

Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control. - Ira Cohen; Jeffrey S. Chase; Moisés Goldszmidt; Terence Kelly; Julie Symons (OSDI, 2004)

Detecting Performance Anomalies in Global Applications. - Terence Kelly (WORLDS, 2005)

An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering. - Yunhong Zhou; Terence Kelly; Janet L. Wiener; Eric Anderson 003 (JSSPP, 2005)

Deadline scheduling for animation rendering. - Eric Anderson 003; Dirk Beyer 002; Kamalika Chaudhuri; Terence Kelly; Norman Salazar; Cipriano A. Santos; Ram Swaminathan; Robert Endre Tarjan; Janet L. Wiener; Yunhong Zhou (SIGMETRICS, 2005)

Capturing, indexing, clustering, and retrieving system history. - Ira Cohen; Steve Zhang; Moisés Goldszmidt; Julie Symons; Terence Kelly; Armando Fox (SOSP, 2005)

Transaction mix performance models: methods and application to performance anomaly detection. - Terence Kelly (SOSP, 2005)

Value-maximizing deadline scheduling and its application to animation rendering. - Eric Anderson 003; Dirk Beyer 002; Kamalika Chaudhuri; Terence Kelly; Norman Salazar; Cipriano A. Santos; Ram Swaminathan; Robert Endre Tarjan; Janet L. Wiener; Yunhong Zhou (SPAA, 2005)

Discrete Control for Dependable IT Automation. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (HotDep, 2006)

Generating k-best solutions to auction winner determination problems. - Terence Kelly; Andrew Byde (SIGecom Exch., 2006)

Exploiting nonstationarity for performance prediction. - Christopher Stewart; Terence Kelly; Alex Zhang (EuroSys, 2007)

Discrete control for safe execution of IT automation workflows. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (EuroSys, 2007)

Don't Settle for Less Than the Best: Use Optimization to Make Decisions. - Kimberly Keeton; Terence Kelly; Arif Merchant; Cipriano A. Santos; Janet L. Wiener; Xiaoyun Zhu; Dirk Beyer 002 (HotOS, 2007)

Operational Analysis of Parallel Servers. - Terence Kelly; Kai Shen; Alex Zhang; Christopher Stewart (MASCOTS, 2008)

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. - Yin Wang 001; Terence Kelly; Manjunath Kudlur; Stéphane Lafortune; Scott A. Mahlke (OSDI, 2008)

Operational analysis of processor speed scaling. - Kai Shen; Alex Zhang; Terence Kelly; Christopher Stewart (SPAA, 2008)

A Dollar from 15 Cents: Cross-Platform Management for Internet Services. - Christopher Stewart; Terence Kelly; Alex Zhang; Kai Shen (USENIX ATC, 2008)

Efficiently Generating k-Best Solutions to Procurement Auctions. - Andrew Byde; Terence Kelly; Yunhong Zhou; Robert Endre Tarjan (AAIM, 2009)

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). - Yin Wang 001; Hongwei Liao; Ahmed Nazeem; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CASE, 2009)

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. - Yin Wang 001; Hongwei Liao; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CDC, 2009)

The theory of deadlock avoidance via discrete control. - Yin Wang 001; Stéphane Lafortune; Terence Kelly; Manjunath Kudlur; Scott A. Mahlke (POPL, 2009)

Eliminating Concurrency Bugs with Control Engineering. - Terence Kelly; Yin Wang 001; Stéphane Lafortune; Scott A. Mahlke (Computer, 2009)

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Yin Wang 001; Peng Liu 010; Terence Kelly; Stéphane Lafortune; Spyros A. Reveliotis; Charles Zhang (CDC, 2012)

Composable Reliability for Asynchronous Systems. - Sunghwan Yoo; Charles Killian; Terence Kelly; Hyoun Kyu Cho; Steven Plite (USENIX ATC, 2012)

Practical lock/unlock pairing for concurrent programs. - Hyoun Kyu Cho; Terence Kelly; Yin Wang 001; Stéphane Lafortune; Hongwei Liao; Scott A. Mahlke (CGO, 2013)

Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. - Stan Park; Terence Kelly; Kai Shen (EuroSys, 2013)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience. - Faisal Nawab; Dhruva R. Chakrabarti; Terence Kelly; Charles B. Morrey III (EDBT, 2015)

Failure-Atomic Updates of Application Data in a Linux File System. - Rajat Verma; Anton Ajay Mendez; Stan Park; Sandya S. Mannarswamy; Terence Kelly; Charles B. Morrey III (FAST, 2015)

Failure-Atomic Persistent Memory Updates via JUSTDO Logging. - Joseph Izraelevitz; Terence Kelly; Aasheesh Kolli (ASPLOS, 2016)

Dalí: A Periodically Persistent Hash Map. - Faisal Nawab; Joseph Izraelevitz; Terence Kelly; Charles B. Morrey III; Dhruva R. Chakrabarti; Michael L. Scott (DISC, 2017)

Persistent Memory Programming on Conventional Hardware. - Terence Kelly (ACM Queue, 2019)

Good Old-Fashioned Persistent Memory. - Terence Kelly (login Usenix Mag., 2019)

A penny in every fuse box. - Terence Kelly (Inroads, 2020)

Is Persistent Memory Persistent? - Terence Kelly (ACM Queue, 2020)

Efficient Graph Search. - Terence Kelly (ACM Queue, 2020)

Decentralized Computing. - Terence Kelly (ACM Queue, 2020)

Offline Algorithms in Low-Frequency Trading: Clearing Combinatorial Auctions. - Terence Kelly (ACM Queue, 2020)

Programming Workbench: Hand-Over-Hand Locking for Highly Concurrent Collections. - Terence Kelly (login Usenix Mag., 2020)

Programming Workbench: Compressed Sparse Row Format for Representing Graphs. - Terence Kelly (login Usenix Mag., 2020)

Letters. - Terence Kelly (Computer, 2021)

Crashproofing the Original NoSQL Key-Value Store: An upgrade for the gdbm database. - Terence Kelly (ACM Queue, 2021)

Steampunk Machine Learning: Victorian contrivances for modern data science. - Terence Kelly (ACM Queue, 2021)

Schrödinger's Code: Undefined behavior in theory and practice. - Terence Kelly; Weiwei Gu; Vladimir Maksimovski (ACM Queue, 2021)

Persistent Memory Allocation: Leverage to move a world of software. - Terence Kelly (ACM Queue, 2022)

Literate Executables. - Terence Kelly (ACM Queue, 2022)

Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. - Suyash Mahar; Mingyao Shen; Terence Kelly; Steven Swanson (ICCD, 2023)

Protecting Secrets from Computers. - Terence Kelly (ACM Queue, 2023)

Catch-23: The New C Standard Sets the World on Fire. - Terence Kelly; Yekai Pan (ACM Queue, 2023)

Programmer Job Interviews: The Hidden Agenda. - Terence Kelly (ACM Queue, 2024)

Zero Tolerance for Bias. - Terence Kelly (ACM Queue, 2024)

Retrofitting: Principles and Practice. - Terence Kelly; Ziheng Aaron Su (ACM Queue, 2024)

Sandboxing: Foolproof Boundaries vs. Unbounded Foolishness. - Terence Kelly; Edison Fuh (ACM Queue, 2025)