Travelled to:1 × China
4 × USA
Collaborated with:J.Yang M.Peck ∅ C.Rathfelder S.Kounev J.V.Guttag J.J.Horning Y.M.Tan D.Bhardwaj T.Bhat M.Das W.Choi B.Urgaonkar M.T.Kandemir M.Jung
Talks about:tempor (2) dynam (2) use (2) introductori (1) perracotta (1) imperfect (1) properti (1) consolid (1) attribut (1) predict (1)
Person: David Evans
DBLP: Evans:David
Contributed to:
2011
2006
2004
1996
1994
2020Wrote 7 papers:
- ASE-2011-RathfelderKE #automation #capacity #performance #predict #using
- Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.
- ICSE-2006-EvansP #invariant
- Inculcating invariants in introductory courses (DE, MP), pp. 673–678.
- ICSE-2006-YangEBBD #api #mining #named
- Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.
- PASTE-2004-YangE
- Dynamically inferring temporal properties (JY, DE), pp. 23–28.
- PLDI-1996-Evans #detection #fault #memory management #static analysis
- Static Detection of Dynamic Memory Errors (DE), pp. 44–53.
- FSE-1994-EvansGHT #named #specification #using
- LCLint: A Tool for Using Specifications to Check Code (DE, JVG, JJH, YMT), pp. 87–96.
- ASPLOS-2020-ChoiUKJE
- Fair Write Attribution and Allocation for Consolidated Flash Cache (WC, BU, MTK, MJ, DE), pp. 1063–1076.