dblp.uni-trier.dewww.uni-trier.de

Tim Harris Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martín Abadi [21] [24] [27] [31] [32]
2Eduard Ayguadé [15] [26] [30]
3Saleem N. Bhatti [2]
4Andrew Birrell [21] [32]
5Miguel Castro [13]
6Manuel Costa [13]
7Adrián Cristal [15] [23] [26] [29] [30]
8Jon Crowcroft [2] [10]
9Anthony Discolo [14]
10Pascal Felber [19]
11Christof Fetzer [19]
12Keir Fraser [1] [6] [16]
13Fabrizio Gagliardi [15]
14Vladimir Gajinov [26] [30]
15Rachid Guerraoui [19]
16Steven Hand [10]
17Maurice Herlihy [7] [20]
18Johnson Hsieh [32]
19Michael Isard [21] [32]
20Roshan P. James [22]
21Simon L. Peyton Jones [7] [8] [14] [20] [22]
22James R. Larus [17]
23Doug Lea [11]
24Virendra J. Marathe [17]
25Simon Marlow [7] [8] [14] [20] [22]
26Mojtaba Mehrara [27]
27Katherine F. Moore [24]
28Alan Mycroft [25]
29Cosmin E. Oancea [25]
30Cristian Perfumo [23]
31Marcelo Pias [2]
32Mark Plesko [12]
33Chris Purcell [4] [9]
34Avraham Shinnar [12]
35Satnam Singh [14] [18]
36Burton Smith [15]
37Nehir Sönmez [23] [29]
38David Spence [3] [10]
39Srdjan Stipic [23]
40David Tarditi [12]
41Osman S. Unsal [15] [23] [26] [29] [30]
42Mateo Valero [15] [23] [26] [29] [30]
43Steve R. Wilbur [2]
44Ferad Zyulkyarov [26] [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)