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 |