| 2009 | ||
|---|---|---|
| 32 | Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard: Implementation and Use of Transactional Memory with Dynamic Separation. CC 2009: 63-77 | |
| 31 | Martín Abadi, Tim Harris: Perspectives on Transactional Memory. CONCUR 2009: 1-14 | |
| 30 | 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 | |
| 29 | 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 | |
| 28 | Tim Harris: Language constructs for transactional memory. POPL 2009: 1 | |
| 27 | Martín Abadi, Tim Harris, Mojtaba Mehrara: Transactional memory with strong atomicity using off-the-shelf memory protection hardware. PPOPP 2009: 185-196 | |
| 26 | 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 | |
| 25 | Cosmin E. Oancea, Alan Mycroft, Tim Harris: A lightweight in-place implementation for software thread-level speculation. SPAA 2009: 223-232 | |
| 2008 | ||
| 24 | Martín Abadi, Tim Harris, Katherine F. Moore: A Model of Dynamic Separation for Transactional Memory. CONCUR 2008: 6-20 | |
| 23 | 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 | 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 | Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard: Semantics of transactional memory and automatic mutual exclusion. POPL 2008: 63-74 | |
| 20 | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy: Composable memory transactions. Commun. ACM 51(8): 91-100 (2008) | |
| 19 | 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 | Tim Harris, Satnam Singh: Feedback directed implicit parallelism. ICFP 2007: 251-264 | |
| 17 | Virendra J. Marathe, Tim Harris, James R. Larus: Featherweight transactions: decoupling threads and atomic blocks. PPOPP 2007: 134-135 | |
| 16 | Keir Fraser, Tim Harris: Concurrent programming without locks. ACM Trans. Comput. Syst. 25(2): (2007) | |
| 15 | 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 | 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 | Miguel Castro, Manuel Costa, Tim Harris: Securing Software by Enforcing Data-flow Integrity. OSDI 2006: 147-160 | |
| 12 | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi: Optimizing memory transactions. PLDI 2006: 14-25 | |
| 11 | Tim Harris, Doug Lea: Special issue on synchronization and concurrency in object-oriented languages. Sci. Comput. Program. 63(2): 109-110 (2006) | |
| 2005 | ||
| 10 | David Spence, Jon Crowcroft, Steven Hand, Tim Harris: Location based placement of whole distributed systems. CoNEXT 2005: 124-134 | |
| 9 | Chris Purcell, Tim Harris: Non-blocking Hashtables with Open Addressing. DISC 2005: 108-121 | |
| 8 | Tim Harris, Simon Marlow, Simon L. Peyton Jones: Haskell on a shared-memory multiprocessor. Haskell 2005: 49-61 | |
| 7 | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy: Composable memory transactions. PPOPP 2005: 48-60 | |
| 6 | Tim Harris, Keir Fraser: Revocable locks for non-blocking programming. PPOPP 2005: 72-82 | |
| 5 | Tim Harris: Exceptions and side-effects in atomic blocks. Sci. Comput. Program. 58(3): 325-343 (2005) | |
| 2004 | ||
| 4 | Chris Purcell, Tim Harris: Brief announcement: implementing multi-word atomic snapshots on current hardware. PODC 2004: 373 | |
| 2003 | ||
| 3 | David Spence, Tim Harris: XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform. HPDC 2003: 216-225 | |
| 2 | Marcelo Pias, Jon Crowcroft, Steve R. Wilbur, Tim Harris, Saleem N. Bhatti: Lighthouses for Scalable Distributed Location. IPTPS 2003: 278-291 | |
| 1 | Tim Harris, Keir Fraser: Language support for lightweight transactions. OOPSLA 2003: 388-402 | |