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: DuVarney:Daniel_C=
Contributed to:
2007
2004
2003Wrote 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.