Travelled to:1 × China
2 × USA
Collaborated with:G.Candea V.Chipounov J.Kinder S.Bucur L.Szekeres M.Payer R.Sekar D.Song
Talks about:platform (1) softwar (1) pointer (1) analysi (1) system (1) symbol (1) integr (1) execut (1) effici (1) state (1)
Person: Volodymyr Kuznetsov
DBLP: Kuznetsov:Volodymyr
Contributed to:
2014
2012
2011Wrote 3 papers:
- OSDI-2014-KuznetsovSPCSS
- Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.
- PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
- Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
- ASPLOS-2011-ChipounovKC #analysis #framework #multi #named #platform
- S2E: a platform for in-vivo multi-path analysis of software systems (VC, VK, GC), pp. 265–278.