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:
4 × USA
Collaborated with:
H.Kannan C.Kozyrakis S.Wong Y.Cai M.Kim J.Chung N.Zeldovich D.Avots V.B.Livshits M.S.Lam R.F.Reitsma B.Marshall M.N.Cyr
Talks about:
softwar (2) memori (2) secur (2) use (2) translat (1) transact (1) standard (1) pointer (1) modular (1) hardwar (1)

Person: Michael Dalton

DBLP DBLP: Dalton:Michael

Contributed to:

ICSE 20112011
HPCA 20082008
OSDI 20082008
ICSE 20052005
JCDL 20082008

Wrote 5 papers:

ICSE-2011-WongCKD #composition #detection
Detecting software modularity violations (SW, YC, MK, MD), pp. 411–420.
HPCA-2008-ChungDKK #memory management #thread #transaction #using
Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
OSDI-2008-ZeldovichKDK #hardware #memory management #policy #security #using
Hardware Enforcement of Application Security Policies Using Tagged Memory (NZ, HK, MD, CK), pp. 225–240.
ICSE-2005-AvotsDLL #analysis #c #pointer #security
Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.
JCDL-2008-ReitsmaMDC #education #standard
Exploring educational standard alignment: in search of “relevance” (RFR, BM, MD, MNC), pp. 57–65.
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.