Travelled to:1 × Hungary
3 × USA
Collaborated with:L.Li C.Cifuentes B.Scholz N.Hawes M.Valdiviezo A.Browne J.Zimmermann A.Craik D.Teoh C.Hoermann
Talks about:analysi (4) flow (3) use (3) parfait (2) sensit (2) detect (2) valu (2) overflow (1) scalabl (1) program (1)
Person: Nathan Keynes
DBLP: Keynes:Nathan
Contributed to:
2013
2011
2010
2009Wrote 5 papers:
- ISMM-2013-LiCK #analysis #graph #pointer #precise #scalability
- Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.
- ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
- Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
- ESEC-FSE-2011-LiCK #analysis #performance #points-to #using
- Boosting the performance of flow-sensitive points-to analysis using value flow (LL, CC, NK), pp. 343–353.
- FSE-2010-LiCK #analysis #detection #effectiveness
- Practical and effective symbolic analysis for buffer overflow detection (LL, CC, NK), pp. 317–326.
- PEPM-2009-CifuentesKLS #debugging #detection #program analysis #using
- Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.