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 × Germany
2 × USA
Collaborated with:
R.Sekar S.Sims W.Xu V.N.Venkatakrishnan S.Basu S.Bhatkar
Talks about:
transform (1) backward (1) approach (1) untrust (1) program (1) practic (1) safeti (1) report (1) reacti (1) memori (1)

Person: Daniel C. DuVarney

DBLP DBLP: DuVarney:Daniel_C=

Contributed to:

ICFP 20072007
FSE 20042004
SOSP 20032003

Wrote 3 papers:

ICFP-2007-SimsD #case study #experience #validation
Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
FSE-2004-XuDS #c #memory management #performance #safety #source code
An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.
SOSP-2003-SekarVBBD #approach #execution
Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.

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.