BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kuznetsov:Volodymyr

Contributed to:

OSDI 20142014
PLDI 20122012
ASPLOS 20112011

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.