Terence Kelly

According to our database1, Terence Kelly authored at least 36 papers between 2002 and 2017.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Dalí: A Periodically Persistent Hash Map.
Proceedings of the 31st International Symposium on Distributed Computing, 2017

Failure-Atomic Persistent Memory Updates via JUSTDO Logging.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

Failure-Atomic Updates of Application Data in a Linux File System.
Proceedings of the 13th USENIX Conference on File and Storage Technologies, 2015

Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.
Proceedings of the 18th International Conference on Extending Database Technology, 2015

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Contr. Sys. Techn., 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discrete Event Dynamic Systems, 2013

Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Practical lock/unlock pairing for concurrent programs.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Composable Reliability for Asynchronous Systems.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Eliminating Concurrency Bugs with Control Engineering.
IEEE Computer, 2009

The theory of deadlock avoidance via discrete control.
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.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Efficiently Generating k-Best Solutions to Procurement Auctions.
Proceedings of the Algorithmic Aspects in Information and Management, 2009

A Dollar from 15 Cents: Cross-Platform Management for Internet Services.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Operational analysis of processor speed scaling.
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.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Operational Analysis of Parallel Servers.
Proceedings of the 16th International Symposium on Modeling, 2008

Don't Settle for Less Than the Best: Use Optimization to Make Decisions.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Discrete control for safe execution of IT automation workflows.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Exploiting nonstationarity for performance prediction.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Generating k-best solutions to auction winner determination problems.
SIGecom Exchanges, 2006

Discrete Control for Dependable IT Automation.
Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

Value-maximizing deadline scheduling and its application to animation rendering.
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.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Deadline scheduling for animation rendering.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2005

An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 2005

Detecting Performance Anomalies in Global Applications.
Proceedings of the Second USENIX Workshop on Real, Large Distributed Systems, 2005

Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Combinatorial Auctions and Knapsack Problems.
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.
Proceedings of the Agent-Mediated Electronic Commerce VI, 2004

Thin-client Web access patterns: Measurements from a cache-busting proxy.
Computer Communications, 2002

Aliasing on the world wide web: prevalence and performance implications.
Proceedings of the Eleventh International World Wide Web Conference, 2002