 | 2010 |
| 25 |  | Ferad Zyulkyarov,
Tim Harris,
Osman S. Unsal,
Adrián Cristal,
Mateo Valero:
Debugging programs that use atomic blocks and transactional memory.
PPOPP 2010: 57-66 |
| 2009 |
| 24 |  | Martín Abadi,
Andrew Birrell,
Tim Harris,
Johnson Hsieh,
Michael Isard:
Implementation and Use of Transactional Memory with Dynamic Separation.
CC 2009: 63-77 |
| 23 |  | Martín Abadi,
Tim Harris:
Perspectives on Transactional Memory.
CONCUR 2009: 1-14 |
| 22 |  | 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: 126-135 |
| 21 |  | 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: 1-10 |
| 20 |  | Tim Harris:
Language constructs for transactional memory.
POPL 2009: 1 |
| 19 |  | Martín Abadi,
Tim Harris,
Mojtaba Mehrara:
Transactional memory with strong atomicity using off-the-shelf memory protection hardware.
PPOPP 2009: 185-196 |
| 18 |  | 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 |
| 17 |  | Cosmin E. Oancea,
Alan Mycroft,
Tim Harris:
A lightweight in-place implementation for software thread-level speculation.
SPAA 2009: 223-232 |
| 2008 |
| 16 |  | Martín Abadi,
Tim Harris,
Katherine F. Moore:
A Model of Dynamic Separation for Transactional Memory.
CONCUR 2008: 6-20 |
| 15 |  | 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 |
| 14 |  | 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 |
| 13 |  | Martín Abadi,
Andrew Birrell,
Tim Harris,
Michael Isard:
Semantics of transactional memory and automatic mutual exclusion.
POPL 2008: 63-74 |
| 12 |  | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
Commun. ACM 51(8): 91-100 (2008) |
| 11 |  | 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 |
| 10 |  | Tim Harris,
Satnam Singh:
Feedback directed implicit parallelism.
ICFP 2007: 251-264 |
| 9 |  | 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 |
| 8 |  | Anthony Discolo,
Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Satnam Singh:
Lock Free Data Structures Using STM in Haskell.
FLOPS 2006: 65-80 |
| 2005 |
| 7 |  | Chris Purcell,
Tim Harris:
Non-blocking Hashtables with Open Addressing.
DISC 2005: 108-121 |
| 6 |  | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones:
Haskell on a shared-memory multiprocessor.
Haskell 2005: 49-61 |
| 5 |  | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
PPOPP 2005: 48-60 |
| 4 |  | Tim Harris,
Keir Fraser:
Revocable locks for non-blocking programming.
PPOPP 2005: 72-82 |
| 3 |  | Tim Harris:
Exceptions and side-effects in atomic blocks.
Sci. Comput. Program. 58(3): 325-343 (2005) |
| 2004 |
| 2 |  | Chris Purcell,
Tim Harris:
Brief announcement: implementing multi-word atomic snapshots on current hardware.
PODC 2004: 373 |
| 2003 |
| 1 |  | David Spence,
Tim Harris:
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform.
HPDC 2003: 216-225 |