Terence Kelly - RankMe

63 papers A* 8A 8B 4C 3Misc 1Journal 29Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Sandboxing: Foolproof Boundaries vs. Unbounded Foolishness. ACM Queue Terence Kelly, Edison Fuh
2025	J	`jnl`	What Every Experimenter Must Know About Randomization. ACM Queue Terence Kelly
2024	J	`jnl`	Programmer Job Interviews: The Hidden Agenda. ACM Queue Terence Kelly
2024	J	`jnl`	Retrofitting: Principles and Practice. ACM Queue Terence Kelly, Ziheng Aaron Su
2024	J	`jnl`	Zero Tolerance for Bias. ACM Queue Terence Kelly
2023	J	`jnl`	Catch-23: The New C Standard Sets the World on Fire. ACM Queue Terence Kelly, Yekai Pan
2023	J	`jnl`	Protecting Secrets from Computers. ACM Queue Terence Kelly
2023	C	`conf`	Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. ICCD Suyash Mahar, Mingyao Shen, Terence Kelly, Steven Swanson
2023	J	`jnl`	Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. CoRR Suyash Mahar, Mingyao Shen, Terence Kelly, Steven Swanson
2022	J	`jnl`	Literate Executables. ACM Queue Terence Kelly
2022	J	`jnl`	Persistent Memory Allocation: Leverage to move a world of software. ACM Queue Terence Kelly
2021	J	`jnl`	Crashproofing the Original NoSQL Key-Value Store: An upgrade for the gdbm database. ACM Queue Terence Kelly
2021	J	`jnl`	Letters. Computer Terence Kelly
2021	J	`jnl`	Schrödinger's Code: Undefined behavior in theory and practice. ACM Queue Terence Kelly, Weiwei Gu, Vladimir Maksimovski
2021	J	`jnl`	Steampunk Machine Learning: Victorian contrivances for modern data science. ACM Queue Terence Kelly
2020	J	`jnl`	A penny in every fuse box. Inroads Terence Kelly
2020	J	`jnl`	Decentralized Computing. ACM Queue Terence Kelly
2020	J	`jnl`	Efficient Graph Search. ACM Queue Terence Kelly
2020	J	`jnl`	Is Persistent Memory Persistent? ACM Queue Terence Kelly
2020	J	`jnl`	Is persistent memory persistent? Commun. ACM Terence Kelly
2020	J	`jnl`	Offline Algorithms in Low-Frequency Trading: Clearing Combinatorial Auctions. ACM Queue Terence Kelly
2020	J	`jnl`	Programming Workbench: Compressed Sparse Row Format for Representing Graphs. login Usenix Mag. Terence Kelly
2020	J	`jnl`	Programming Workbench: Hand-Over-Hand Locking for Highly Concurrent Collections. login Usenix Mag. Terence Kelly
2019	J	`jnl`	Good Old-Fashioned Persistent Memory. login Usenix Mag. Terence Kelly
2019	J	`jnl`	Persistent Memory Programming on Conventional Hardware. ACM Queue Terence Kelly
2017	A	`conf`	Dalí: A Periodically Persistent Hash Map. DISC Faisal Nawab, Joseph Izraelevitz, Terence Kelly, Charles B. Morrey III, Dhruva R. Chakrabarti, Michael L. Scott
2016	A*	`conf`	Failure-Atomic Persistent Memory Updates via JUSTDO Logging. ASPLOS Joseph Izraelevitz, Terence Kelly, Aasheesh Kolli
2015	A	`conf`	Failure-Atomic Updates of Application Data in a Linux File System. FAST Rajat Verma, Anton Ajay Mendez, Stan Park, Sandya S. Mannarswamy, Terence Kelly, Charles B. Morrey III
2015	B	`conf`	Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience. EDBT Faisal Nawab, Dhruva R. Chakrabarti, Terence Kelly, Charles B. Morrey III
2013	J	`jnl`	Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2013	J	`jnl`	Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
2013	A	`conf`	Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. EuroSys Stan Park, Terence Kelly, Kai Shen
2013	A	`conf`	Practical lock/unlock pairing for concurrent programs. CGO Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
2012	—	`conf`	Composable Reliability for Asynchronous Systems. USENIX ATC Sunghwan Yoo, Charles Killian, Terence Kelly, Hyoun Kyu Cho, Steven Plite
2012	—	`conf`	On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
2010	—	`conf`	Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2009	C	`conf`	Efficiently Generating k-Best Solutions to Procurement Auctions. AAIM Andrew Byde, Terence Kelly, Yunhong Zhou, Robert Endre Tarjan
2009	J	`jnl`	Eliminating Concurrency Bugs with Control Engineering. Computer Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke
2009	—	`conf`	Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009	—	`conf`	Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009	A*	`conf`	The theory of deadlock avoidance via discrete control. POPL Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke
2008	—	`conf`	A Dollar from 15 Cents: Cross-Platform Management for Internet Services. USENIX ATC Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen
2008	A*	`conf`	Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
2008	B	`conf`	Operational Analysis of Parallel Servers. MASCOTS Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart
2008	B	`conf`	Operational analysis of processor speed scaling. SPAA Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart
2007	A	`conf`	Discrete control for safe execution of IT automation workflows. EuroSys Yin Wang, Terence Kelly, Stéphane Lafortune
2007	A	`conf`	Don't Settle for Less Than the Best: Use Optimization to Make Decisions. HotOS Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano A. Santos, Janet L. Wiener, Xiaoyun Zhu, Dirk Beyer
2007	A	`conf`	Exploiting nonstationarity for performance prediction. EuroSys Christopher Stewart, Terence Kelly, Alex Zhang
2006	—	`conf`	Discrete Control for Dependable IT Automation. HotDep Yin Wang, Terence Kelly, Stéphane Lafortune
2006	J	`jnl`	Generating k-best solutions to auction winner determination problems. SIGecom Exch. Terence Kelly, Andrew Byde
2005	C	`conf`	An Extended Evaluation of Two-Phase Scheduling Methods for Animation Rendering. JSSPP Yunhong Zhou, Terence Kelly, Janet L. Wiener, Eric Anderson
2005	A*	`conf`	Capturing, indexing, clustering, and retrieving system history. SOSP Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox
2005	A*	`conf`	Deadline scheduling for animation rendering. SIGMETRICS Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou
2005	—	`conf`	Detecting Performance Anomalies in Global Applications. WORLDS Terence Kelly
2005	A*	`conf`	Transaction mix performance models: methods and application to performance anomaly detection. SOSP Terence Kelly
2005	B	`conf`	Value-maximizing deadline scheduling and its application to animation rendering. SPAA Eric Anderson, Dirk Beyer, Kamalika Chaudhuri, Terence Kelly, Norman Salazar, Cipriano A. Santos, Ram Swaminathan, Robert Endre Tarjan, Janet L. Wiener, Yunhong Zhou
2004	A	`conf`	Combinatorial Auctions and Knapsack Problems. AAMAS Terence Kelly
2004	A*	`conf`	Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control. OSDI Ira Cohen, Jeffrey S. Chase, Moisés Goldszmidt, Terence Kelly, Julie Symons
2004	Misc	`conf`	Design, Implementation, and Evaluation of Duplicate Transfer Detection in HTTP. NSDI Jeffrey C. Mogul, Yee-Man Chan, Terence Kelly
2004	—	`conf`	Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation. AMEC Terence Kelly
2002	A*	`conf`	Aliasing on the world wide web: prevalence and performance implications. WWW Terence Kelly, Jeffrey C. Mogul
2002	—	`—`	Optimization inWeb Caching: Cache Management, Capacity Planning, and Content Naming. Terence Kelly
2002	J	`jnl`	Thin-client Web access patterns: Measurements from a cache-busting proxy. Comput. Commun. Terence Kelly