Terence Kelly

According to our database, Terence Kelly authored at least 56 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Programmer Job Interviews: The Hidden Agenda.

Terence Kelly

ACM Queue, 2024

2023

Catch-23: The New C Standard Sets the World on Fire.

Terence Kelly, Yekai Pan

ACM Queue, 2023

Protecting Secrets from Computers.

Terence Kelly

ACM Queue, 2023

Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync.

Suyash Mahar, Mingyao Shen, Terence Kelly, Steven Swanson

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022

Literate Executables.

Terence Kelly

ACM Queue, 2022

Persistent Memory Allocation: Leverage to move a world of software.

Terence Kelly

ACM Queue, 2022

2021

Schrödinger's Code: Undefined behavior in theory and practice.

Terence Kelly, Weiwei Gu, Vladimir Maksimovski

ACM Queue, 2021

Steampunk Machine Learning: Victorian contrivances for modern data science.

Terence Kelly

ACM Queue, 2021

Crashproofing the Original NoSQL Key-Value Store: An upgrade for the gdbm database.

Terence Kelly

ACM Queue, 2021

Letters.

Terence Kelly

Computer, 2021

2020

Programming Workbench: Compressed Sparse Row Format for Representing Graphs.

Terence Kelly

login Usenix Mag., 2020

Programming Workbench: Hand-Over-Hand Locking for Highly Concurrent Collections.

Terence Kelly

login Usenix Mag., 2020

Offline Algorithms in Low-Frequency Trading: Clearing Combinatorial Auctions.

Terence Kelly

ACM Queue, 2020

Decentralized Computing.

Terence Kelly

ACM Queue, 2020

Efficient Graph Search.

Terence Kelly

ACM Queue, 2020

A penny in every fuse box.

Terence Kelly

Inroads, 2020

Is persistent memory persistent?

Terence Kelly

Commun. ACM, 2020

2019

Good Old-Fashioned Persistent Memory.

Terence Kelly

login Usenix Mag., 2019

Persistent Memory Programming on Conventional Hardware.

Terence Kelly

ACM Queue, 2019

2017

Dalí: A Periodically Persistent Hash Map.

Faisal Nawab, Joseph Izraelevitz, Terence Kelly, Charles B. Morrey III, Dhruva R. Chakrabarti, Michael L. Scott

Proceedings of the 31st International Symposium on Distributed Computing, 2017

2016

Failure-Atomic Persistent Memory Updates via JUSTDO Logging.

Joseph Izraelevitz, Terence Kelly, Aasheesh Kolli

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

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

Proceedings of the 13th USENIX Conference on File and Storage Technologies, 2015

Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.

Faisal Nawab, Dhruva R. Chakrabarti, Terence Kelly, Charles B. Morrey III

Proceedings of the 18th International Conference on Extending Database Technology, 2015

2013

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke

IEEE Trans. Control. Syst. Technol., 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Discret. Event Dyn. Syst., 2013

Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data.

Stan Park, Terence Kelly, Kai Shen

Proceedings of the Eighth Eurosys Conference 2013, 2013

Practical lock/unlock pairing for concurrent programs.

Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Composable Reliability for Asynchronous Systems.

Sunghwan Yoo, Charles Edwin Killian, Terence Kelly, Hyoun Kyu Cho, Steven Plite

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.

Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.

Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Eliminating Concurrency Bugs with Control Engineering.

Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke

Computer, 2009

The theory of deadlock avoidance via discrete control.

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Efficiently Generating k-Best Solutions to Procurement Auctions.

Andrew Byde, Terence Kelly, Yunhong Zhou, Robert Endre Tarjan

Proceedings of the Algorithmic Aspects in Information and Management, 2009

2008

A Dollar from 15 Cents: Cross-Platform Management for Internet Services.

Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Operational analysis of processor speed scaling.

Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Operational Analysis of Parallel Servers.

Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart

Proceedings of the 16th International Symposium on Modeling, 2008

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

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Discrete control for safe execution of IT automation workflows.

Yin Wang, Terence Kelly, Stéphane Lafortune

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Exploiting nonstationarity for performance prediction.

Christopher Stewart, Terence Kelly, Alex Zhang

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

Generating k-best solutions to auction winner determination problems.

Terence Kelly, Andrew Byde

SIGecom Exch., 2006

Discrete Control for Dependable IT Automation.

Yin Wang, Terence Kelly, Stéphane Lafortune

Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

2005

Value-maximizing deadline scheduling and its application to animation rendering.

Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou

Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Capturing, indexing, clustering, and retrieving system history.

Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Deadline scheduling for animation rendering.

Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2005

An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering.

Yunhong Zhou, Terence Kelly, Janet L. Wiener, Eric Anderson

Proceedings of the Job Scheduling Strategies for Parallel Processing, 2005

Detecting Performance Anomalies in Global Applications.

Terence Kelly

Proceedings of the Second USENIX Workshop on Real, Large Distributed Systems, 2005

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

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP.

Jeffrey C. Mogul, Yee-Man Chan, Terence Kelly

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Combinatorial Auctions and Knapsack Problems.

Terence Kelly

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation.

Terence Kelly

Proceedings of the Agent-Mediated Electronic Commerce VI, 2004

2002

Optimization inWeb Caching: Cache Management, Capacity Planning, and Content Naming.

Terence Kelly

PhD thesis, 2002

Thin-client Web access patterns: Measurements from a cache-busting proxy.

Terence Kelly

Comput. Commun., 2002

Aliasing on the world wide web: prevalence and performance implications.

Terence Kelly, Jeffrey C. Mogul

Proceedings of the Eleventh International World Wide Web Conference, 2002