BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
3 × USA
Collaborated with:
Y.Lev V.Sarkar D.Grove Arvind X.Shen E.E.Allen D.Chase V.Luchangco G.L.S.Jr.
Talks about:
transact (3) java (3) hardwar (2) memori (2) use (2) guarante (1) written (1) virtual (1) program (1) analysi (1)

Person: Jan-Willem Maessen

DBLP DBLP: Maessen:Jan=Willem

Contributed to:

PPoPP 20082008
OOPSLA 20042004
PASTE 20012001
OOPSLA 20002000

Wrote 4 papers:

PPoPP-2008-LevM #hardware #memory management #transaction #using
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory (YL, JWM), pp. 197–206.
OOPSLA-2004-AllenCLMS #metric #object-oriented
Object-oriented units of measurement (EEA, DC, VL, JWM, GLSJ), pp. 384–403.
PASTE-2001-MaessenSG #java #program analysis #safety #virtual machine
Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.
OOPSLA-2000-MaessenAS #java #memory management #using
Improving the Java memory model using CRF (JWM, A, XS), pp. 1–12.

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.