| 2009 |
| 28 | EE | Martín Abadi,
Andrew Birrell,
Tim Harris,
Johnson Hsieh,
Michael Isard:
Implementation and Use of Transactional Memory with Dynamic Separation.
CC 2009: 63-77 |
| 27 | EE | Tim Harris:
Language constructs for transactional memory.
POPL 2009: 1 |
| 26 | EE | Martín Abadi,
Tim Harris,
Mojtaba Mehrara:
Transactional memory with strong atomicity using off-the-shelf memory protection hardware.
PPOPP 2009: 185-196 |
| 25 | EE | 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: 25-34 |
| 2008 |
| 24 | EE | Martín Abadi,
Tim Harris,
Katherine F. Moore:
A Model of Dynamic Separation for Transactional Memory.
CONCUR 2008: 6-20 |
| 23 | EE | 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: 67-78 |
| 22 | EE | Simon Marlow,
Tim Harris,
Roshan P. James,
Simon L. Peyton Jones:
Parallel generational-copying garbage collection with a block-structured heap.
ISMM 2008: 11-20 |
| 21 | EE | Martín Abadi,
Andrew Birrell,
Tim Harris,
Michael Isard:
Semantics of transactional memory and automatic mutual exclusion.
POPL 2008: 63-74 |
| 20 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
Commun. ACM 51(8): 91-100 (2008) |
| 19 | EE | 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): 47-58 (2008) |
| 2007 |
| 18 | EE | Tim Harris,
Satnam Singh:
Feedback directed implicit parallelism.
ICFP 2007: 251-264 |
| 17 | EE | Virendra J. Marathe,
Tim Harris,
James R. Larus:
Featherweight transactions: decoupling threads and atomic blocks.
PPOPP 2007: 134-135 |
| 16 | EE | Keir Fraser,
Tim Harris:
Concurrent programming without locks.
ACM Trans. Comput. Syst. 25(2): (2007) |
| 15 | EE | Tim Harris,
Adrián Cristal,
Osman S. Unsal,
Eduard Ayguadé,
Fabrizio Gagliardi,
Burton Smith,
Mateo Valero:
Transactional Memory: An Overview.
IEEE Micro 27(3): 8-29 (2007) |
| 2006 |
| 14 | EE | Anthony Discolo,
Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Satnam Singh:
Lock Free Data Structures Using STM in Haskell.
FLOPS 2006: 65-80 |
| 13 | EE | Miguel Castro,
Manuel Costa,
Tim Harris:
Securing Software by Enforcing Data-flow Integrity.
OSDI 2006: 147-160 |
| 12 | EE | Tim Harris,
Mark Plesko,
Avraham Shinnar,
David Tarditi:
Optimizing memory transactions.
PLDI 2006: 14-25 |
| 11 | EE | Tim Harris,
Doug Lea:
Special issue on synchronization and concurrency in object-oriented languages.
Sci. Comput. Program. 63(2): 109-110 (2006) |
| 2005 |
| 10 | EE | David Spence,
Jon Crowcroft,
Steven Hand,
Tim Harris:
Location based placement of whole distributed systems.
CoNEXT 2005: 124-134 |
| 9 | EE | Chris Purcell,
Tim Harris:
Non-blocking Hashtables with Open Addressing.
DISC 2005: 108-121 |
| 8 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones:
Haskell on a shared-memory multiprocessor.
Haskell 2005: 49-61 |
| 7 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
PPOPP 2005: 48-60 |
| 6 | EE | Tim Harris,
Keir Fraser:
Revocable locks for non-blocking programming.
PPOPP 2005: 72-82 |
| 5 | EE | Tim Harris:
Exceptions and side-effects in atomic blocks.
Sci. Comput. Program. 58(3): 325-343 (2005) |
| 2004 |
| 4 | EE | Chris Purcell,
Tim Harris:
Brief announcement: implementing multi-word atomic snapshots on current hardware.
PODC 2004: 373 |
| 2003 |
| 3 | EE | David Spence,
Tim Harris:
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform.
HPDC 2003: 216-225 |
| 2 | EE | Marcelo Pias,
Jon Crowcroft,
Steve R. Wilbur,
Tim Harris,
Saleem N. Bhatti:
Lighthouses for Scalable Distributed Location.
IPTPS 2003: 278-291 |
| 1 | EE | Tim Harris,
Keir Fraser:
Language support for lightweight transactions.
OOPSLA 2003: 388-402 |