|
|
 Tim Harris - Software Developer - Architect I am at Oracle Labs in Cambridge, UK. My research interests span multiple layers of the stack. I am particularly interested in parallel programming, OS / runtime-system interaction, and opportunities for specialized architecture support for particular workloads.
Right now I am looking at OS and VM support for distributed runtime systems—particularly in the setting of distributed graph algorithms running on clusters. I collaborate with the Scalable Synchronization group in Burlington, MA, USA, and with the Green-Marl project in CA, USA.
Prior to Oracle, my recent projects have included language support for asynchronous message passing in the Barrelfish research OS, and ideas for architecture support for parts of language runtime systems (e.g., synchronization and GC). I have also worked extensively on transactional memory (TM), most recently on applying ideas learnt from STM systems to designing an abstraction for low-cost multi-word atomic updates for use in building shared-memory data structures. I was on the faculty of the University of Cambridge, and completed a PhD on providing application programmers with safe control over low-level features of the JVM (dynamic complication, object placement, thread scheduling).
- 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, OPODIS 2013:83-97
- Hardware transactional memory with software-defined conflicts.
- J. Ruben Titos Gil, Manuel Acacio, Jose Garcia, Tim Harris, Adrian Cristal, Osman Unsal, Ibrahim Hur, Mateo Valero, TACO 8(4):31 (2012)
- Integrating Dataflow Abstractions into the Shared Memory Model.
- Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal, SBAC-PAD 2012:243-251
- Lock Inference in the Presence of Large Libraries.
- Khilan Gudka, Tim Harris, Susan Eisenbach, ECOOP 2012:308-332
- Profiling and Optimizing Transactional Memory Applications.
- Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman Unsal, Adrian Cristal, Ibrahim Hur, Mateo Valero, International Journal of Parallel Programming (IJPP) 40(1):25-56 (2012)
- STM in the small: trading generality for performance in software transactional memory.
- Aleksandar Dragojevic, Tim Harris, EuroSys 2012:1-14
- Supporting stateful tasks in a dataflow graph.
- Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal, PACT 2012:435-436
- AC: composable asynchronous IO for native languages.
- Tim Harris, Martin Abadi, Rebecca Isaacs, Ross McIlroy, OOPSLA 2011:903-920
- Hybrid Transactional Memory with Pessimistic Concurrency Control.
- Enrique Vallejo, Sutirtha Sanyal, Tim Harris, Fernando Vallejo, Ramon Beivide, Osman Unsal, Adrian Cristal, Mateo Valero, International Journal of Parallel Programming (IJPP) 39(3):375-396 (2011)
- Hybrid binary rewriting for memory access instrumentation.
- Amitabha Roy 0002, Steven Hand, Timothy Harris, VEE 2011:227-238
- STM2: A Parallel STM for High Performance Simultaneous Multithreading Systems.
- Gokcen Kestor, Roberto Gioiosa, Tim Harris, Osman Unsal, Adrian Cristal, Ibrahim Hur, Mateo Valero, PACT 2011:221-231
- Semantics of transactional memory and automatic mutual exclusion.
- Martin Abadi, Andrew Birrell, Tim Harris, Michael Isard, ACM Trans. Program. Lang. Syst. (TOPLAS) 33(1):2 (2011)
- A model of dynamic separation for transactional memory.
- Martin Abadi, Tim Harris, Katherine Moore, Inf. Comput. (IANDC) 208(10):1093-1117 (2010)
- Architectural Support for Fair Reader-Writer Locking.
- Enrique Vallejo, Ramon Beivide, Adrian Cristal, Tim Harris, Fernando Vallejo, Osman Unsal, Mateo Valero, MICRO 2010:275-286
- Debugging programs that use atomic blocks and transactional memory.
- Ferad Zyulkyarov, Tim Harris, Osman Unsal, Adrian Cristal, Mateo Valero, PPOPP 2010:57-66
- Discovering and understanding performance bottlenecks in transactional applications.
- Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman Unsal, Adrian Cristal, Ibrahim Hur, Mateo Valero, PACT 2010:285-294
- Dynamic filtering: multi-purpose architecture support for language runtime systems.
- Tim Harris, Sasa Tomic, Adrian Cristal, Osman Unsal, ASPLOS 2010:39-52
- Transactional Memory, 2nd edition
- Tim Harris, James Larus, Ravi Rajwar, Morgan & Claypool Publishers 2010
- A lightweight in-place implementation for software thread-level speculation.
- Cosmin Oancea, Alan Mycroft, Tim Harris, SPAA 2009:223-232
- A runtime system for software lock elision.
- Amitabha Roy 0002, Steven Hand, Timothy Harris, EuroSys 2009:261-274
- Atomic quake: using transactional memory in an interactive multiplayer game server.
- Ferad Zyulkyarov, Vladimir Gajinov, Osman Unsal, Adrian Cristal, Eduard Ayguade, Tim Harris, Mateo Valero, PPOPP 2009:25-34
- EazyHTM: eager-lazy hardware transactional memory.
- Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adria Armejach, Adrian Cristal, Osman Unsal, Tim Harris, Mateo Valero, MICRO 2009:145-155
- Implementation and Use of Transactional Memory with Dynamic Separation.
- Martin Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard, CC 2009:63-77
- Language constructs for transactional memory.
- Tim Harris, POPL 2009:1
- Perspectives on Transactional Memory.
- Martin Abadi, Tim Harris, CONCUR 2009:1-14
- QuakeTM: parallelizing a complex sequential application using transactional memory.
- Vladimir Gajinov, Ferad Zyulkyarov, Osman Unsal, Adrian Cristal, Eduard Ayguade, Tim Harris, Mateo Valero, ICS 2009:126-135
- Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.
- Nehir Soenmez, Tim Harris, Adrian Cristal, Osman Unsal, Mateo Valero, IPDPS 2009:1-10
- The multikernel: a new OS architecture for scalable multicore systems.
- Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Timothy Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schuepbach, Akhilesh Singhania, SOSP 2009:29-44
- Transactional memory with strong atomicity using off-the-shelf memory protection hardware.
- Martin Abadi, Tim Harris, Mojtaba Mehrara, PPOPP 2009:185-196
- A Model of Dynamic Separation for Transactional Memory.
- Martin Abadi, Tim Harris, Katherine Moore, CONCUR 2008:6-20
- Composable memory transactions.
- Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy, Commun. ACM (CACM) 51(8):91-100 (2008)
- Parallel generational-copying garbage collection with a block-structured heap.
- Simon Marlow, Tim Harris, Roshan James, Simon Peyton Jones, ISMM 2008:11-20
- Semantics of transactional memory and automatic mutual exclusion.
- Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard, POPL 2008:63-74
- The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment.
- Cristian Perfumo, Nehir Soenmez, Srdjan Stipic, Osman Unsal, Adrian Cristal, Tim Harris, Mateo Valero, Conf. Computing Frontiers 2008:67-78
- Transactions are back---but are they the same?: "Le Retour de Martin Guerre" (Sommersby).
- Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris, SIGACT News (SIGACT) 39(1):47-58 (2008)
- Concurrent programming without locks.
- Keir Fraser, Timothy Harris, ACM Trans. Comput. Syst. (TOCS) 25(2) (2007)
- Featherweight transactions: decoupling threads and atomic blocks.
- Virendra Marathe, Timothy Harris, James Larus, PPOPP 2007:134-135
- Feedback directed implicit parallelism.
- Tim Harris, Satnam Singh, ICFP 2007:251-264
- Transactional Memory: An Overview.
- Tim Harris, Adrian Cristal, Osman Unsal, Eduard Ayguade, Fabrizio Gagliardi, Burton Smith, Mateo Valero, IEEE Micro (MICRO) 27(3):8-29 (2007)
- Lock Free Data Structures Using STM in Haskell.
- Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh, FLOPS 2006:65-80
- Optimizing memory transactions.
- Timothy Harris, Mark Plesko, Avraham Shinnar, David Tarditi, PLDI 2006:14-25
- Securing Software by Enforcing Data-flow Integrity.
- Miguel Castro, Manuel Costa, Timothy Harris, OSDI 2006:147-160
- Composable memory transactions.
- Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy, PPOPP 2005:48-60
- Exceptions and side-effects in atomic blocks.
- Tim Harris, Sci. Comput. Program. (SCP) 58(3):325-343 (2005)
- Haskell on a shared-memory multiprocessor.
- Tim Harris, Simon Marlow, Simon Peyton Jones, Haskell 2005:49-61
- Location based placement of whole distributed systems.
- David Spence, Jon Crowcroft, Steven Hand, Timothy Harris, CoNEXT 2005:124-134
- Non-blocking Hashtables with Open Addressing.
- Chris Purcell, Tim Harris, DISC 2005:108-121
- Revocable locks for non-blocking programming.
- Tim Harris, Keir Fraser, PPOPP 2005:72-82
- Brief announcement: implementing multi-word atomic snapshots on current hardware.
- Chris Purcell, Tim Harris, PODC 2004:373
- PDB: Pervasive Debugging With Xen.
- Alex Ho, Steven Hand, Timothy Harris, GRID 2004:260-265
- Language support for lightweight transactions.
- Timothy Harris, Keir Fraser, OOPSLA 2003:388-402
- Lighthouses for Scalable Distributed Location.
- Marcelo Pias, Jon Crowcroft, Steve Wilbur, Timothy Harris, Saleem Bhatti, IPTPS 2003:278-291
- Managing Trust and Reputation in the XenoServer Open Platform.
- Boris Dragovic, Steven Hand, Timothy Harris, Evangelos Kotsovinos, Andrew Twigg, iTrust 2003:59-74
- Xen and the art of virtualization.
- Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Timothy Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, SOSP 2003:164-177
- XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform.
- David Spence, Tim Harris, HPDC 2003:216-225
- A Practical Multi-word Compare-and-Swap Operation.
- Timothy Harris, Keir Fraser, Ian Pratt, DISC 2002:265-279
- Dependable software needs pervasive debugging.
- Timothy Harris, ACM SIGOPS European Workshop 2002:38-43
- Storage, Mutability and Naming in Pasta.
- Tim Moreton, Ian Pratt, Timothy Harris, NETWORKING Workshops 2002:215-219
- A Pragmatic Implementation of Non-blocking Linked-Lists.
- Timothy Harris, DISC 2001:300-314
- Dynamic Adaptive Pre-Tenuring.
- Timothy Harris, ISMM 2000:127-136
|
|
|
Oracle Labs