Travelled to:1 × USA
1 × United Kingdom
Collaborated with:S.McCamant D.Song P.Saxena L.Martignoni P.Maniatis
Talks about:program (1) symbol (1) extend (1) explor (1) execut (1) binari (1) test (1) path (1) loop (1) lift (1)
Person: Pongsin Poosankam
DBLP: Poosankam:Pongsin
Contributed to:
2012
2009Wrote 2 papers:
- ASPLOS-2012-MartignoniMPSM #testing
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
- ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
- Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.