Travelled to:1 × Canada
1 × Italy
1 × South Africa
1 × United Kingdom
3 × USA
Collaborated with:J.S.Foster M.Hicks A.Begel T.Zimmermann B.E.Chang M.A.Hammer K.Ma V.Sazawal
Talks about:codebook (2) softwar (2) symbol (2) execut (2) relationship (1) repositori (1) scriptabl (1) increment (1) expositor (1) project (1)
Person: Yit Phang Khoo
DBLP: Khoo:Yit_Phang
Contributed to:
2014
2013
2011
201020102010
2008Wrote 7 papers:
- PLDI-2014-HammerKHF #adaptation #composition #incremental #named
- Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
- ICSE-2013-KhooFH #debugging #named
- Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.
- SAS-2011-MaKFH #execution #symbolic computation
- Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
- FSE-2010-BegelKZ #named
- WhoselsThat: finding software engineers with codebook (AB, YPK, TZ), pp. 381–382.
- ICSE-2010-BegelKZ #named #repository
- Codebook: discovering and exploiting relationships in software repositories (AB, YPK, TZ), pp. 125–134.
- PLDI-2010-KhooCF #execution #symbolic computation #type checking
- Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
- PASTE-2008-KhooFHS #static analysis #tool support
- Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.