Tim Harris

According to our database, Tim Harris authored at least 100 papers between 2000 and 2021.

Collaborative distances:

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

2021

Five Ways Not To Fool Yourself: Designing Experiments for Understanding Performance.

Tim Harris

SIGACT News, 2021

DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution.

Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Tim Harris, Matei Zaharia

CoRR, 2021

Modeling memory bandwidth patterns on NUMA machines with performance counters.

Daniel Goodman, Roni Haecki, Tim Harris

CoRR, 2021

DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks.

Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris

Proceedings of the EuroMLSys@EuroSys 2021, 2021

2018

Persistent Memory Transactions.

Virendra J. Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo I. Seltzer, Tim Harris, Steve Byan, Bill Bridge, Dave Dice

CoRR, 2018

Technical perspective: Node replication divides to conquer.

Tim Harris

Commun. ACM, 2018

Closing the Performance Gap Between Volatile and Persistent Key-Value Stores Using Cross-Referencing Logs.

Yihe Huang, Matej Pavlovic, Virendra J. Marathe, Margo I. Seltzer, Tim Harris, Steve Byan

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Brief Announcement: Persistent Multi-Word Compare-and-Swap.

Matej Pavlovic, Alex Kogan, Virendra J. Marathe, Tim Harris

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Analytics with smart arrays: adaptive and efficient language-independent data.

Iraklis Psaroudakis, Stefan Kaestle, Matthias Grimmer, Daniel Goodman, Jean-Pierre Lozi, Tim Harris

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Guest Editor Introduction PPoPP 2016, Special Issue 2 of 2.

Grey Ballard, Mary W. Hall, Tim Harris, Brandon Lucia

ACM Trans. Parallel Comput., 2017

The End of a Myth: Distributed Transaction Can Scale.

Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris

Proc. VLDB Endow., 2017

Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory.

Virendra J. Marathe, Margo I. Seltzer, Steve Byan, Tim Harris

Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

Pandia: comprehensive contention-sensitive thread placement.

Daniel Goodman, Georgios Varisteas, Tim Harris

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Abstracting Multi-Core Topologies with MCTOP.

Georgios Chatzopoulos, Rachid Guerraoui, Tim Harris, Vasileios Trigonakis

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Composable scheduler activations for Haskell.

K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones

J. Funct. Program., 2016

The End of a Myth: Distributed Transactions Can Scale.

Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris

CoRR, 2016

Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications.

Martin Maas, Krste Asanovic, Tim Harris, John Kubiatowicz

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

2015

Hardware Trends: Challenges and Opportunities in Distributed Computing.

Tim Harris

SIGACT News, 2015

Rack-scale Computing (Dagstuhl Seminar 15421).

Babak Falsafi, Tim Harris, Dushyanth Narayanan, David A. Patterson

Dagstuhl Reports, 2015

The Influence of Malloc Placement on TSX Hardware Transactional Memory.

Dave Dice, Tim Harris, Alex Kogan, Yossi Lev

CoRR, 2015

Shoal: Smart Allocation and Replication of Memory For Parallel Programs.

Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Callisto-RTS: Fine-Grain Parallel Loops.

Tim Harris, Stefan Kaestle

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems.

Alexander Collins, Tim Harris, Murray Cole, Christian Fensch

Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers, 2015

Trash Day: Coordinating Garbage Collection in Distributed Systems.

Martin Maas, Tim Harris, Krste Asanovic, John Kubiatowicz

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Language support for lightweight transactions.

Tim Harris, Keir Fraser

ACM SIGPLAN Notices, 2014

Deployment of Query Plans on Multicores.

Jana Giceva, Gustavo Alonso, Timothy Roscoe, Tim Harris

Proc. VLDB Endow., 2014

Hardware extensions to make lazy subscription safe.

Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev, Mark Moir

CoRR, 2014

Cosh: Clear OS Data Sharing In An Incoherent World.

Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Callisto: co-scheduling parallel runtime systems.

Tim Harris, Martin Maas, Virendra J. Marathe

Proceedings of the Ninth Eurosys Conference 2014, 2014

2013

Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores.

Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

TM-dietlibc: A TM-aware Real-World System Library.

Vesna Smiljkovic, Martin Nowack, Neboja Miletic, Tim Harris, Osman S. Ünsal, Adrián Cristal, Mateo Valero

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Constrained Data-Driven Parallelism.

Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

HARP: Adaptive abort recurrence prediction for Hardware Transactional Memory.

Adrià Armejach, Anurag Negi, Adrián Cristal, Osman S. Unsal, Per Stenström, Tim Harris

Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

2012

Hardware transactional memory with software-defined conflicts.

J. Rubén Titos Gil, Manuel E. Acacio, José M. García, Tim Harris, Adrián Cristal, Osman S. Unsal, Ibrahim Hur, Mateo Valero

ACM Trans. Archit. Code Optim., 2012

Weak atomicity for the x86 memory consistency model.

Amitabha Roy, Steven Hand, Tim Harris

J. Parallel Distributed Comput., 2012

Profiling and Optimizing Transactional Memory Applications.

Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero

Int. J. Parallel Program., 2012

Programming with SpecTM.

Tim Harris, Aleksandar Dragojevic

Bull. EATCS, 2012

Integrating Dataflow Abstractions into the Shared Memory Model.

Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal

Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

STM in the small: trading generality for performance in software transactional memory.

Aleksandar Dragojevic, Tim Harris

Proceedings of the European Conference on Computer Systems, 2012

Lock Inference in the Presence of Large Libraries.

Khilan Gudka, Tim Harris, Susan Eisenbach

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Supporting stateful tasks in a dataflow graph.

Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

Transactional Memory.

Tim Harris

Fundamentals of Multicore Software Development, 2012

2011

Semantics of transactional memory and automatic mutual exclusion.

Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard

ACM Trans. Program. Lang. Syst., 2011

Hybrid Transactional Memory with Pessimistic Concurrency Control.

Enrique Vallejo, Sutirtha Sanyal, Tim Harris, Fernando Vallejo, Ramón Beivide, Osman S. Unsal, Adrián Cristal, Mateo Valero

Int. J. Parallel Program., 2011

Hybrid binary rewriting for memory access instrumentation.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Weak atomicity under the x86 memory consistency model.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

AC: composable asynchronous IO for native languages.

Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

STM2: A Parallel STM for High Performance Simultaneous Multithreading Systems.

Gokcen Kestor, Roberto Gioiosa, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Transactional Memory, 2nd Edition

Tim Harris, James R. Larus, Ravi Rajwar

Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01728-5, 2010

A model of dynamic separation for transactional memory.

Martín Abadi, Tim Harris, Katherine F. Moore

Inf. Comput., 2010

Debugging programs that use atomic blocks and transactional memory.

Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adrián Cristal, Mateo Valero

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Architectural Support for Fair Reader-Writer Locking.

Enrique Vallejo, Ramón Beivide, Adrián Cristal, Tim Harris, Fernando Vallejo, Osman S. Unsal, Mateo Valero

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Dynamic filtering: multi-purpose architecture support for language runtime systems.

Tim Harris, Sasa Tomic, Adrián Cristal, Osman S. Unsal

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

Discovering and understanding performance bottlenecks in transactional applications.

Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

A lightweight in-place implementation for software thread-level speculation.

Cosmin E. Oancea, Alan Mycroft, Tim Harris

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

The multikernel: a new OS architecture for scalable multicore systems.

Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Atomic quake: using transactional memory in an interactive multiplayer game server.

Ferad Zyulkyarov, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, Mateo Valero

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Transactional memory with strong atomicity using off-the-shelf memory protection hardware.

Martín Abadi, Tim Harris, Mojtaba Mehrara

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Language constructs for transactional memory.

Tim Harris

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

EazyHTM: eager-lazy hardware transactional memory.

Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris, Mateo Valero

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.

Nehir Sönmez, Tim Harris, Adrián Cristal, Osman S. Unsal, Mateo Valero

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

QuakeTM: parallelizing a complex sequential application using transactional memory.

Vladimir Gajinov, Ferad Zyulkyarov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, Mateo Valero

Proceedings of the 23rd international conference on Supercomputing, 2009

A runtime system for software lock elision.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Perspectives on Transactional Memory.

Martín Abadi, Tim Harris

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Implementation and Use of Transactional Memory with Dynamic Separation.

Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Transactions are back---but are they the same?: "Le Retour de Martin Guerre" (Sommersby).

Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris

SIGACT News, 2008

Composable memory transactions.

Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy

Commun. ACM, 2008

WormBench: a configurable workload for evaluating transactional memory systems.

Ferad Zyulkyarov, Adrián Cristal, Sanja Cvijic, Eduard Ayguadé, Mateo Valero, Osman S. Unsal, Tim Harris

Proceedings of the 9th workshop on MEmory performance, 2008

Parallel generational-copying garbage collection with a block-structured heap.

Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones

Proceedings of the 7th International Symposium on Memory Management, 2008

08241 Summary - Transactional Memory : From Implementation to Application.

Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit

Proceedings of the Transactional Memory: From Implementation to Application, 08.06., 2008

08241 Abstracts Collection - Transactional Memory : From Implementation to Application.

Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit

Proceedings of the Transactional Memory: From Implementation to Application, 08.06., 2008

The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment.

Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris, Mateo Valero

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

Concurrent programming without locks.

Keir Fraser, Tim Harris

ACM Trans. Comput. Syst., 2007

Transactional Memory: An Overview.

Tim Harris, Adrián Cristal, Osman S. Unsal, Eduard Ayguadé, Fabrizio Gagliardi, Burton Smith, Mateo Valero

IEEE Micro, 2007

Featherweight transactions: decoupling threads and atomic blocks.

Virendra J. Marathe, Tim Harris, James R. Larus

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Feedback directed implicit parallelism.

Tim Harris, Satnam Singh

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Special issue on synchronization and concurrency in object-oriented languages.

Tim Harris, Doug Lea

Sci. Comput. Program., 2006

Optimizing memory transactions.

Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Resource Management for Global Public Computing: Many Policies Are Better Than (N)one.

Evangelos Kotsovinos, Iulia Ion, Tim Harris

Proceedings of the 3rd USENIX Workshop on Real, Large Distributed Systems, 2006

Securing Software by Enforcing Data-flow Integrity.

Miguel Castro, Manuel Costa, Tim Harris

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Lock Free Data Structures Using STM in Haskell.

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Exceptions and side-effects in atomic blocks.

Tim Harris

Sci. Comput. Program., 2005

Non-blocking Hashtables with Open Addressing.

Chris Purcell, Tim Harris

Proceedings of the Distributed Computing, 19th International Conference, 2005

Revocable locks for non-blocking programming.

Tim Harris, Keir Fraser

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Haskell on a shared-memory multiprocessor.

Tim Harris, Simon Marlow, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

Location based placement of whole distributed systems.

David Spence, Jon Crowcroft, Steven Hand, Tim Harris

Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, 2005

2004

Brief announcement: implementing multi-word atomic snapshots on current hardware.

Chris Purcell, Tim Harris

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Global-scale Service Deployment in the XenoServer Platform.

Evangelos Kotsovinos, Tim D. Moreton, Ian Pratt, Russ Ross, Keir Fraser, Steven Hand, Tim Harris

Proceedings of the First USENIX Workshop on Real, Large Distributed Systems, 2004

PDB: Pervasive Debugging With Xen.

Alex Ho, Steven Hand, Tim Harris

Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

2003

Xen and the art of virtualization.

Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Managing Trust and Reputation in the XenoServer Open Platform.

Boris Dragovic, Steven Hand, Tim Harris, Evangelos Kotsovinos, Andrew Twigg

Proceedings of the Trust Management, First International Conference, 2003

Lighthouses for Scalable Distributed Location.

Marcelo Pias, Jon Crowcroft, Steve R. Wilbur, Tim Harris, Saleem N. Bhatti

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform.

David Spence, Tim Harris

Proceedings of the 12th International Symposium on High-Performance Distributed Computing (HPDC-12 2003), 2003

Operating Systems - Concurrent and Distributed Software Design.

Jean Bacon, Tim Harris

International computer science series, Addison-Wesley, ISBN: 978-0-321-11789-2, 2003

2002

Extensible virtual machines.

Timothy L. Harris

PhD thesis, 2002

A Practical Multi-word Compare-and-Swap Operation.

Timothy L. Harris, Keir Fraser, Ian A. Pratt

Proceedings of the Distributed Computing, 16th International Conference, 2002

Dependable software needs pervasive debugging.

Timothy L. Harris

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Storage, Mutability and Naming in Pasta.

Tim D. Moreton, Ian A. Pratt, Timothy L. Harris

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

2001

A Pragmatic Implementation of Non-blocking Linked-Lists.

Timothy L. Harris

Proceedings of the Distributed Computing, 15th International Conference, 2001

2000

Dynamic Adaptive Pre-Tenuring.

Timothy L. Harris

Proceedings of the ISMM 2000, 2000