Tim Harris

Affiliations:
  • Microsoft, Cambridge, UK
  • Amazon S3, Cambridge, UK (former)
  • Oracle Labs, Cambridge, UK (former)
  • Microsoft Research, Cambridge, UK (former)
  • University of Cambridge, Computer Laboratory, UK (former, PhD)
  • Sun Microsystems Laboratories, Burlington, MA, USA (former)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Five Ways Not To Fool Yourself: Designing Experiments for Understanding Performance.
SIGACT News, 2021

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

Modeling memory bandwidth patterns on NUMA machines with performance counters.
CoRR, 2021

DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks.
Proceedings of the EuroMLSys@EuroSys 2021, 2021

2018
Persistent Memory Transactions.
CoRR, 2018

Technical perspective: Node replication divides to conquer.
Commun. ACM, 2018

Closing the Performance Gap Between Volatile and Persistent Key-Value Stores Using Cross-Referencing Logs.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Brief Announcement: Persistent Multi-Word Compare-and-Swap.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Analytics with smart arrays: adaptive and efficient language-independent data.
Proceedings of the Thirteenth EuroSys Conference, 2018

2017
Guest Editor Introduction PPoPP 2016, Special Issue 2 of 2.
ACM Trans. Parallel Comput., 2017

The End of a Myth: Distributed Transaction Can Scale.
Proc. VLDB Endow., 2017

Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

Pandia: comprehensive contention-sensitive thread placement.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Abstracting Multi-Core Topologies with MCTOP.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016
Composable scheduler activations for Haskell.
J. Funct. Program., 2016

The End of a Myth: Distributed Transactions Can Scale.
CoRR, 2016

Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications.
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.
SIGACT News, 2015

Rack-scale Computing (Dagstuhl Seminar 15421).
Dagstuhl Reports, 2015

The Influence of Malloc Placement on TSX Hardware Transactional Memory.
CoRR, 2015

Shoal: Smart Allocation and Replication of Memory For Parallel Programs.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Callisto-RTS: Fine-Grain Parallel Loops.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems.
Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers, 2015

Trash Day: Coordinating Garbage Collection in Distributed Systems.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Language support for lightweight transactions.
ACM SIGPLAN Notices, 2014

Deployment of Query Plans on Multicores.
Proc. VLDB Endow., 2014

Hardware extensions to make lazy subscription safe.
CoRR, 2014

Cosh: Clear OS Data Sharing In An Incoherent World.
Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Callisto: co-scheduling parallel runtime systems.
Proceedings of the Ninth Eurosys Conference 2014, 2014

2013
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores.
Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

TM-dietlibc: A TM-aware Real-World System Library.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Constrained Data-Driven Parallelism.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

HARP: Adaptive abort recurrence prediction for Hardware Transactional Memory.
Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

2012
Hardware transactional memory with software-defined conflicts.
ACM Trans. Archit. Code Optim., 2012

Weak atomicity for the x86 memory consistency model.
J. Parallel Distributed Comput., 2012

Profiling and Optimizing Transactional Memory Applications.
Int. J. Parallel Program., 2012

Programming with SpecTM.
Bull. EATCS, 2012

Integrating Dataflow Abstractions into the Shared Memory Model.
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.
Proceedings of the European Conference on Computer Systems, 2012

Lock Inference in the Presence of Large Libraries.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Supporting stateful tasks in a dataflow graph.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

Transactional Memory.
Fundamentals of Multicore Software Development, 2012

2011
Semantics of transactional memory and automatic mutual exclusion.
ACM Trans. Program. Lang. Syst., 2011

Hybrid Transactional Memory with Pessimistic Concurrency Control.
Int. J. Parallel Program., 2011

Hybrid binary rewriting for memory access instrumentation.
Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Weak atomicity under the x86 memory consistency model.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

AC: composable asynchronous IO for native languages.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

STM2: A Parallel STM for High Performance Simultaneous Multithreading Systems.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Transactional Memory, 2nd Edition
Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01728-5, 2010

A model of dynamic separation for transactional memory.
Inf. Comput., 2010

Debugging programs that use atomic blocks and transactional memory.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Architectural Support for Fair Reader-Writer Locking.
Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Dynamic filtering: multi-purpose architecture support for language runtime systems.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

Discovering and understanding performance bottlenecks in transactional applications.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009
A lightweight in-place implementation for software thread-level speculation.
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.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Atomic quake: using transactional memory in an interactive multiplayer game server.
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.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Language constructs for transactional memory.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

EazyHTM: eager-lazy hardware transactional memory.
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.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

QuakeTM: parallelizing a complex sequential application using transactional memory.
Proceedings of the 23rd international conference on Supercomputing, 2009

A runtime system for software lock elision.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Perspectives on Transactional Memory.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Implementation and Use of Transactional Memory with Dynamic Separation.
Proceedings of the Compiler Construction, 18th International Conference, 2009

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

Composable memory transactions.
Commun. ACM, 2008

WormBench: a configurable workload for evaluating transactional memory systems.
Proceedings of the 9th workshop on MEmory performance, 2008

Parallel generational-copying garbage collection with a block-structured heap.
Proceedings of the 7th International Symposium on Memory Management, 2008

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

08241 Abstracts Collection - Transactional Memory : From Implementation to Application.
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.
Proceedings of the 5th Conference on Computing Frontiers, 2008

2007
Concurrent programming without locks.
ACM Trans. Comput. Syst., 2007

Transactional Memory: An Overview.
IEEE Micro, 2007

Featherweight transactions: decoupling threads and atomic blocks.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Feedback directed implicit parallelism.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006
Special issue on synchronization and concurrency in object-oriented languages.
Sci. Comput. Program., 2006

Optimizing memory transactions.
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.
Proceedings of the 3rd USENIX Workshop on Real, Large Distributed Systems, 2006

Securing Software by Enforcing Data-flow Integrity.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Lock Free Data Structures Using STM in Haskell.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Exceptions and side-effects in atomic blocks.
Sci. Comput. Program., 2005

Non-blocking Hashtables with Open Addressing.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Revocable locks for non-blocking programming.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Haskell on a shared-memory multiprocessor.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

Location based placement of whole distributed systems.
Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, 2005

2004
Brief announcement: implementing multi-word atomic snapshots on current hardware.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Global-scale Service Deployment in the XenoServer Platform.
Proceedings of the First USENIX Workshop on Real, Large Distributed Systems, 2004

PDB: Pervasive Debugging With Xen.
Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

2003
Xen and the art of virtualization.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Managing Trust and Reputation in the XenoServer Open Platform.
Proceedings of the Trust Management, First International Conference, 2003

Lighthouses for Scalable Distributed Location.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform.
Proceedings of the 12th International Symposium on High-Performance Distributed Computing (HPDC-12 2003), 2003

Operating Systems - Concurrent and Distributed Software Design.
International computer science series, Addison-Wesley, ISBN: 978-0-321-11789-2, 2003

2002
Extensible virtual machines.
PhD thesis, 2002

A Practical Multi-word Compare-and-Swap Operation.
Proceedings of the Distributed Computing, 16th International Conference, 2002

Dependable software needs pervasive debugging.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Storage, Mutability and Naming in Pasta.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

2001
A Pragmatic Implementation of Non-blocking Linked-Lists.
Proceedings of the Distributed Computing, 15th International Conference, 2001

2000
Dynamic Adaptive Pre-Tenuring.
Proceedings of the ISMM 2000, 2000


  Loading...