Travelled to:1 × Canada
8 × USA
Collaborated with:K.Fraser ∅ S.Hand A.Roy V.J.Marathe J.R.Larus M.Castro M.Costa M.Plesko A.Shinnar D.Tarditi P.Barham A.Baumann P.Dagand R.Isaacs S.Peter T.Roscoe A.Schüpbach A.Singhania B.Dragovic A.Ho R.Neugebauer I.Pratt A.Warfield
Talks about:transact (3) memori (2) block (2) atom (2) featherweight (1) multikernel (1) lightweight (1) architectur (1) multicor (1) virtual (1)
Person: Timothy L. Harris
DBLP: Harris:Timothy_L=
Contributed to:
2011
20092007
2006
20062005
20032003
2000Wrote 9 papers:
- PPoPP-2011-RoyHH #consistency #memory management
- Weak atomicity under the x86 memory consistency model (AR, SH, TLH), pp. 291–292.
- SOSP-2009-BaumannBDHIPRSS #architecture #kernel #manycore #scalability
- The multikernel: a new OS architecture for scalable multicore systems (AB, PB, PÉD, TLH, RI, SP, TR, AS, AS), pp. 29–44.
- PPoPP-2007-MaratheHL #thread #transaction
- Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
- OSDI-2006-CastroCH #data flow
- Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
- PLDI-2006-HarrisPST #memory management #optimisation #transaction
- Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.
- PPoPP-2005-HarrisF #programming
- Revocable locks for non-blocking programming (TLH, KF), pp. 72–82.
- OOPSLA-2003-HarrisF #lightweight #transaction
- Language support for lightweight transactions (TLH, KF), pp. 388–402.
- SOSP-2003-BarhamDFHHHN
- Xen and the art of virtualization (PB, BD, KF, SH, TLH, AH, RN, IP, AW), pp. 164–177.
- ISMM-2000-Harris #adaptation
- Dynamic Adaptive Pre-Tenuring (TLH), pp. 127–136.