BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Harris:Timothy_L=

Contributed to:

PPoPP 20112011
SOSP 20092009
PPoPP 20072007
OSDI 20062006
PLDI 20062006
PPoPP 20052005
OOPSLA 20032003
SOSP 20032003
ISMM 20002000

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.