Tim Harris

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 25

Top Topics

Finer Granularity

Intermediate Representation

Top Venues

USENIX Annual Technical Conference

Proc. VLDB Endow.

Publications

Tim Harris
Five Ways Not To Fool Yourself: Designing Experiments for Understanding Performance. SIGACT News 52 (3) (2021)
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Tim Harris, Matei Zaharia
DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution. CoRR (2021)
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris
DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks. EuroMLSys@EuroSys (2021)
Daniel Goodman, Roni Haecki, Tim Harris
Modeling memory bandwidth patterns on NUMA machines with performance counters. CoRR (2021)
Tim Harris
Technical perspective: Node replication divides to conquer. Commun. ACM 61 (12) (2018)
Matej Pavlovic, Alex Kogan, Virendra J. Marathe, Tim Harris
Brief Announcement: Persistent Multi-Word Compare-and-Swap. PODC (2018)
Iraklis Psaroudakis, Stefan Kaestle, Matthias Grimmer, Daniel Goodman, Jean-Pierre Lozi, Tim Harris
Analytics with smart arrays: adaptive and efficient language-independent data. EuroSys (2018)
Yihe Huang, Matej Pavlovic, Virendra J. Marathe, Margo I. Seltzer, Tim Harris, Steve Byan
Closing the Performance Gap Between Volatile and Persistent Key-Value Stores Using Cross-Referencing Logs. USENIX Annual Technical Conference (2018)
Virendra J. Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo I. Seltzer, Tim Harris, Steve Byan, Bill Bridge, Dave Dice
Persistent Memory Transactions. CoRR (2018)
Virendra J. Marathe, Margo I. Seltzer, Steve Byan, Tim Harris
Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory. HotStorage (2017)
Grey Ballard, Mary W. Hall, Tim Harris, Brandon Lucia
Guest Editor Introduction PPoPP 2016, Special Issue 2 of 2. ACM Trans. Parallel Comput. 4 (2) (2017)
Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris
The End of a Myth: Distributed Transaction Can Scale. Proc. VLDB Endow. 10 (6) (2017)
Georgios Chatzopoulos, Rachid Guerraoui, Tim Harris, Vasileios Trigonakis
Abstracting Multi-Core Topologies with MCTOP. EuroSys (2017)
Daniel Goodman, Georgios Varisteas, Tim Harris
Pandia: comprehensive contention-sensitive thread placement. EuroSys (2017)
Grey Ballard, Mary W. Hall, Tim Harris, Brandon Lucia
Guest Editor Introduction PPoPP 2016, Special Issue 2 of 2. ACM Trans. Parallel Comput. 4 (1) (2017)
Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris
The End of a Myth: Distributed Transactions Can Scale. CoRR (2016)
K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
Composable scheduler activations for Haskell. J. Funct. Program. 26 (2016)
Martin Maas, Krste Asanovic, Tim Harris, John Kubiatowicz
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications. ASPLOS (2016)
Tim Harris
Hardware Trends: Challenges and Opportunities in Distributed Computing. SIGACT News 46 (2) (2015)
Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris
Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX Annual Technical Conference (2015)
Tim Harris, Stefan Kaestle
Callisto-RTS: Fine-Grain Parallel Loops. USENIX Annual Technical Conference (2015)
Dave Dice, Tim Harris, Alex Kogan, Yossi Lev
The Influence of Malloc Placement on TSX Hardware Transactional Memory. CoRR (2015)
Martin Maas, Tim Harris, Krste Asanovic, John Kubiatowicz
Trash Day: Coordinating Garbage Collection in Distributed Systems. HotOS (2015)
Babak Falsafi, Tim Harris, Dushyanth Narayanan, David A. Patterson
Rack-scale Computing (Dagstuhl Seminar 15421). Dagstuhl Reports 5 (10) (2015)
Alexander Collins, Tim Harris, Murray Cole, Christian Fensch
LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems. ROSS@HPDC (2015)
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
Cosh: Clear OS Data Sharing In An Incoherent World. TRIOS (2014)
Jana Giceva, Gustavo Alonso, Timothy Roscoe, Tim Harris
Deployment of Query Plans on Multicores. Proc. VLDB Endow. 8 (3) (2014)
Tim Harris, Keir Fraser
Language support for lightweight transactions. ACM SIGPLAN Notices 49 (4S) (2014)
Tim Harris, Martin Maas, Virendra J. Marathe
Callisto: co-scheduling parallel runtime systems. EuroSys (2014)
Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir
Constrained Data-Driven Parallelism. HotPar (2013)
Vesna Smiljkovic, Martin Nowack, Neboja Miletic, Tim Harris, Osman S. Ünsal, Adrián Cristal, Mateo Valero
TM-dietlibc: A TM-aware Real-World System Library. IPDPS (2013)
Adrià Armejach, Anurag Negi, Adrián Cristal, Osman S. Unsal, Per Stenström, Tim Harris
HARP: Adaptive abort recurrence prediction for Hardware Transactional Memory. HiPC (2013)
Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. OPODIS (2013)
Aleksandar Dragojevic, Tim Harris
STM in the small: trading generality for performance in software transactional memory. EuroSys (2012)
Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal
Supporting stateful tasks in a dataflow graph. PACT (2012)
Tim Harris, Aleksandar Dragojevic
Programming with SpecTM. Bull. EATCS 107 (2012)
Amitabha Roy, Steven Hand, Tim Harris
Weak atomicity for the x86 memory consistency model. J. Parallel Distributed Comput. 72 (10) (2012)
J. Rubén Titos Gil, Manuel E. Acacio, José M. García, Tim Harris, Adrián Cristal, Osman S. Unsal, Ibrahim Hur, Mateo Valero
Hardware transactional memory with software-defined conflicts. ACM Trans. Archit. Code Optim. 8 (4) (2012)
Khilan Gudka, Tim Harris, Susan Eisenbach
Lock Inference in the Presence of Large Libraries. ECOOP (2012)
Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris, Eduard Ayguadé, Adrián Cristal
Integrating Dataflow Abstractions into the Shared Memory Model. SBAC-PAD (2012)
Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero
Profiling and Optimizing Transactional Memory Applications. Int. J. Parallel Program. 40 (1) (2012)
Enrique Vallejo, Sutirtha Sanyal, Tim Harris, Fernando Vallejo, Ramón Beivide, Osman S. Unsal, Adrián Cristal, Mateo Valero
Hybrid Transactional Memory with Pessimistic Concurrency Control. Int. J. Parallel Program. 39 (3) (2011)
Gokcen Kestor, Roberto Gioiosa, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero
STM2: A Parallel STM for High Performance Simultaneous Multithreading Systems. PACT (2011)
Amitabha Roy, Steven Hand, Tim Harris
Hybrid binary rewriting for memory access instrumentation. VEE (2011)
Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy
AC: composable asynchronous IO for native languages. OOPSLA (2011)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Amitabha Roy, Steven Hand, Tim Harris
Weak atomicity under the x86 memory consistency model. PPOPP (2011)
Tim Harris, Sasa Tomic, Adrián Cristal, Osman S. Unsal
Dynamic filtering: multi-purpose architecture support for language runtime systems. ASPLOS (2010)
Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adrián Cristal, Mateo Valero
Debugging programs that use atomic blocks and transactional memory. PPOPP (2010)
Ferad Zyulkyarov, Srdjan Stipic, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero
Discovering and understanding performance bottlenecks in transactional applications. PACT (2010)
Martín Abadi, Tim Harris, Katherine F. Moore
A model of dynamic separation for transactional memory. Inf. Comput. 208 (10) (2010)
Enrique Vallejo, Ramón Beivide, Adrián Cristal, Tim Harris, Fernando Vallejo, Osman S. Unsal, Mateo Valero
Architectural Support for Fair Reader-Writer Locking. MICRO (2010)
Vladimir Gajinov, Ferad Zyulkyarov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, Mateo Valero
QuakeTM: parallelizing a complex sequential application using transactional memory. ICS (2009)
Nehir Sönmez, Tim Harris, Adrián Cristal, Osman S. Unsal, Mateo Valero
Taking the heat off transactions: Dynamic selection of pessimistic concurrency control. IPDPS (2009)
Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris, Mateo Valero
EazyHTM: eager-lazy hardware transactional memory. MICRO (2009)
Cosmin E. Oancea, Alan Mycroft, Tim Harris
A lightweight in-place implementation for software thread-level speculation. SPAA (2009)
Tim Harris
Language constructs for transactional memory. POPL (2009)
Martín Abadi, Tim Harris, Mojtaba Mehrara
Transactional memory with strong atomicity using off-the-shelf memory protection hardware. PPOPP (2009)
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
Implementation and Use of Transactional Memory with Dynamic Separation. CC (2009)
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania
The multikernel: a new OS architecture for scalable multicore systems. SOSP (2009)
Amitabha Roy, Steven Hand, Tim Harris
A runtime system for software lock elision. EuroSys (2009)
Ferad Zyulkyarov, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, Mateo Valero
Atomic quake: using transactional memory in an interactive multiplayer game server. PPOPP (2009)
Martín Abadi, Tim Harris
Perspectives on Transactional Memory. CONCUR (2009)
Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones
Parallel generational-copying garbage collection with a block-structured heap. ISMM (2008)
Martín Abadi, Tim Harris, Katherine F. Moore
A Model of Dynamic Separation for Transactional Memory. CONCUR (2008)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. POPL (2008)
Ferad Zyulkyarov, Adrián Cristal, Sanja Cvijic, Eduard Ayguadé, Mateo Valero, Osman S. Unsal, Tim Harris
WormBench: a configurable workload for evaluating transactional memory systems. MEDEA@PACT (2008)
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
Composable memory transactions. Commun. ACM 51 (8) (2008)
Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit
08241 Summary - Transactional Memory : From Implementation to Application. Transactional Memory: From Implementation to Application (2008)
Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris, Mateo Valero
The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment. Conf. Computing Frontiers (2008)
Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit
08241 Abstracts Collection - Transactional Memory : From Implementation to Application. Transactional Memory: From Implementation to Application (2008)
Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris
Transactions are back---but are they the same?: "Le Retour de Martin Guerre" (Sommersby). SIGACT News 39 (1) (2008)
Virendra J. Marathe, Tim Harris, James R. Larus
Featherweight transactions: decoupling threads and atomic blocks. PPOPP (2007)
Keir Fraser, Tim Harris
Concurrent programming without locks. ACM Trans. Comput. Syst. 25 (2) (2007)
Tim Harris, Adrián Cristal, Osman S. Unsal, Eduard Ayguadé, Fabrizio Gagliardi, Burton Smith, Mateo Valero
Transactional Memory: An Overview. IEEE Micro 27 (3) (2007)
Tim Harris, Satnam Singh
Feedback directed implicit parallelism. ICFP (2007)
Tim Harris, Doug Lea
Special issue on synchronization and concurrency in object-oriented languages. Sci. Comput. Program. 63 (2) (2006)
Miguel Castro, Manuel Costa, Tim Harris
Securing Software by Enforcing Data-flow Integrity. OSDI (2006)
Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
Lock Free Data Structures Using STM in Haskell. FLOPS (2006)
Evangelos Kotsovinos, Iulia Ion, Tim Harris
Resource Management for Global Public Computing: Many Policies Are Better Than (N)one. WORLDS (2006)
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
Optimizing memory transactions. PLDI (2006)
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
Composable memory transactions. PPOPP (2005)
Tim Harris
Exceptions and side-effects in atomic blocks. Sci. Comput. Program. 58 (3) (2005)
David Spence, Jon Crowcroft, Steven Hand, Tim Harris
Location based placement of whole distributed systems. CoNEXT (2005)
Chris Purcell, Tim Harris
Non-blocking Hashtables with Open Addressing. DISC (2005)
Tim Harris, Simon Marlow, Simon L. Peyton Jones
Haskell on a shared-memory multiprocessor. Haskell (2005)
Tim Harris, Keir Fraser
Revocable locks for non-blocking programming. PPOPP (2005)
Alex Ho, Steven Hand, Tim Harris
PDB: Pervasive Debugging With Xen. GRID (2004)
Evangelos Kotsovinos, Tim D. Moreton, Ian Pratt, Russ Ross, Keir Fraser, Steven Hand, Tim Harris
Global-scale Service Deployment in the XenoServer Platform. WORLDS (2004)
Chris Purcell, Tim Harris
Brief announcement: implementing multi-word atomic snapshots on current hardware. PODC (2004)
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
Xen and the art of virtualization. SOSP (2003)
Tim Harris, Keir Fraser
Language support for lightweight transactions. OOPSLA (2003)
Boris Dragovic, Steven Hand, Tim Harris, Evangelos Kotsovinos, Andrew Twigg
Managing Trust and Reputation in the XenoServer Open Platform. iTrust (2003)
David Spence, Tim Harris
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform. HPDC (2003)
Marcelo Pias, Jon Crowcroft, Steve R. Wilbur, Tim Harris, Saleem N. Bhatti
Lighthouses for Scalable Distributed Location. IPTPS (2003)