| 2021 | EuroSys | DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks. | Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris |
| 2018 | EuroSys | Analytics with smart arrays: adaptive and efficient language-independent data. | Iraklis Psaroudakis, Stefan Kaestle, Matthias Grimmer, Daniel Goodman, Jean-Pierre Lozi, Tim Harris |
| 2018 | PODC | Brief Announcement: Persistent Multi-Word Compare-and-Swap. | Matej Pavlovic, Alex Kogan, Virendra J. Marathe, Tim Harris |
| 2018 | USENIX | 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 |
| 2017 | EuroSys | Abstracting Multi-Core Topologies with MCTOP. | Georgios Chatzopoulos, Rachid Guerraoui, Tim Harris, Vasileios Trigonakis |
| 2017 | EuroSys | Pandia: comprehensive contention-sensitive thread placement. | Daniel Goodman, Georgios Varisteas, Tim Harris |
| 2016 | ASPLOS | Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications. | Martin Maas, Krste Asanovic, Tim Harris, John Kubiatowicz |
| 2015 | HotOS | Trash Day: Coordinating Garbage Collection in Distributed Systems. | Martin Maas, Tim Harris, Krste Asanovic, John Kubiatowicz |
| 2015 | HPDC | LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems. | Alexander Collins, Tim Harris, Murray Cole, Christian Fensch |
| 2015 | USENIX | Callisto-RTS: Fine-Grain Parallel Loops. | Tim Harris, Stefan Kaestle |
| 2015 | USENIX | Shoal: Smart Allocation and Replication of Memory For Parallel Programs. | Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris |
| 2014 | EuroSys | Callisto: co-scheduling parallel runtime systems. | Tim Harris, Martin Maas, Virendra J. Marathe |
| 2014 | OSDI | Cosh: Clear OS Data Sharing In An Incoherent World. | Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe |
| 2013 | HiPC | HARP: Adaptive abort recurrence prediction for Hardware Transactional Memory. | Adri Armejach, Anurag Negi, Adrin Cristal, Osman S. Unsal, Per Stenstrm, Tim Harris |
| 2013 | OPODIS | 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 |
| 2012 | ECOOP | Lock Inference in the Presence of Large Libraries. | Khilan Gudka, Tim Harris, Susan Eisenbach |
| 2012 | EuroSys | STM in the small: trading generality for performance in software transactional memory. | Aleksandar Dragojevic, Tim Harris |
| 2012 | SBAC-PAD | Integrating Dataflow Abstractions into the Shared Memory Model. | Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguad, Adrin Cristal |
| 2011 | OOPSLA | AC: composable asynchronous IO for native languages. | Tim Harris, Martn Abadi, Rebecca Isaacs, Ross McIlroy |
| 2011 | PPoPP | Weak atomicity under the x86 memory consistency model. | Amitabha Roy, Steven Hand, Tim Harris |
| 2011 | VEE | Hybrid binary rewriting for memory access instrumentation. | Amitabha Roy, Steven Hand, Tim Harris |
| 2010 | ASPLOS | Dynamic filtering: multi-purpose architecture support for language runtime systems. | Tim Harris, Sasa Tomic, Adrin Cristal, Osman S. Unsal |
| 2010 | MICRO | Architectural Support for Fair Reader-Writer Locking. | Enrique Vallejo, Ramn Beivide, Adrin Cristal, Tim Harris, Fernando Vallejo, Osman S. Unsal, Mateo Valero |
| 2010 | PPoPP | Debugging programs that use atomic blocks and transactional memory. | Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adrin Cristal, Mateo Valero |
| 2009 | CC | Implementation and Use of Transactional Memory with Dynamic Separation. | Martn Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard |
| 2009 | CONCUR | Perspectives on Transactional Memory. | Martn Abadi, Tim Harris |
| 2009 | EuroSys | A runtime system for software lock elision. | Amitabha Roy, Steven Hand, Tim Harris |
| 2009 | ICS | QuakeTM: parallelizing a complex sequential application using transactional memory. | Vladimir Gajinov, Ferad Zyulkyarov, Osman S. Unsal, Adrin Cristal, Eduard Ayguad, Tim Harris, Mateo Valero |
| 2009 | MICRO | EazyHTM: eager-lazy hardware transactional memory. | Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adri Armejach, Adrin Cristal, Osman S. Unsal, Tim Harris, Mateo Valero |
| 2009 | POPL | Language constructs for transactional memory. | Tim Harris |
| 2009 | PPoPP | Transactional memory with strong atomicity using off-the-shelf memory protection hardware. | Martn Abadi, Tim Harris, Mojtaba Mehrara |
| 2009 | PPoPP | Atomic quake: using transactional memory in an interactive multiplayer game server. | Ferad Zyulkyarov, Vladimir Gajinov, Osman S. Unsal, Adrin Cristal, Eduard Ayguad, Tim Harris, Mateo Valero |
| 2009 | SPAA | A lightweight in-place implementation for software thread-level speculation. | Cosmin E. Oancea, Alan Mycroft, Tim Harris |
| 2009 | SOSP | 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 Schpbach, Akhilesh Singhania |
| 2008 | CONCUR | A Model of Dynamic Separation for Transactional Memory. | Martn Abadi, Tim Harris, Katherine F. Moore |
| 2008 | POPL | Semantics of transactional memory and automatic mutual exclusion. | Martn Abadi, Andrew Birrell, Tim Harris, Michael Isard |
| 2007 | ICFP | Feedback directed implicit parallelism. | Tim Harris, Satnam Singh |
| 2007 | PPoPP | Featherweight transactions: decoupling threads and atomic blocks. | Virendra J. Marathe, Tim Harris, James R. Larus |
| 2006 | FLOPS | Lock Free Data Structures Using STM in Haskell. | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2006 | OSDI | Securing Software by Enforcing Data-flow Integrity. | Miguel Castro, Manuel Costa, Tim Harris |
| 2006 | OSDI | Resource Management for Global Public Computing: Many Policies Are Better Than (N)one. | Evangelos Kotsovinos, Iulia Ion, Tim Harris |
| 2006 | PLDI | Optimizing memory transactions. | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi |
| 2005 | CoNEXT | Location based placement of whole distributed systems. | David Spence, Jon Crowcroft, Steven Hand, Tim Harris |
| 2005 | HASKELL | Haskell on a shared-memory multiprocessor. | Tim Harris, Simon Marlow, Simon L. Peyton Jones |
| 2005 | PPoPP | Revocable locks for non-blocking programming. | Tim Harris, Keir Fraser |
| 2005 | PPoPP | Composable memory transactions. | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy |
| 2004 | OSDI | Global-scale Service Deployment in the XenoServer Platform. | Evangelos Kotsovinos, Tim D. Moreton, Ian Pratt, Russ Ross, Keir Fraser, Steven Hand, Tim Harris |
| 2004 | PODC | Brief announcement: implementing multi-word atomic snapshots on current hardware. | Chris Purcell, Tim Harris |
| 2003 | HPDC | XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform. | David Spence, Tim Harris |
| 2003 | OOPSLA | Language support for lightweight transactions. | Tim Harris, Keir Fraser |
| 2003 | SOSP | Xen and the art of virtualization. | Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield |
| 1989 | SC | Matrix multiplication on the connection machine. | S. Lennart Johnsson, Tim Harris, Kapil K. Mathur |