BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Italy
5 × USA
Collaborated with:
H.Veith S.Bucur G.Candea Duncan Mitchell Blake Loring D.Kravchenko ∅ P.Godefroid F.Zuleger V.Kuznetsov P.Bokor M.Serafini N.Suri L.T.v.Binsbergen
Talks about:
analysi (3) symbol (3) static (3) execut (3) binari (3) reconstruct (2) interpret (2) control (2) reduct (2) state (2)

Person: Johannes Kinder

DBLP DBLP: Kinder:Johannes

Contributed to:

ASPLOS 20142014
PLDI 20122012
VMCAI 20122012
WCRE 20122012
ASE 20112011
ISSTA 20102010
VMCAI 20092009
CAV 20082008
PEPM 20182018
PLDI 20192019

Wrote 10 papers:

ASPLOS-2014-BucurKC #execution #prototype #symbolic computation
Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
VMCAI-2012-KinderK #control flow #re-engineering
Alternating Control Flow Reconstruction (JK, DK), pp. 267–282.
WCRE-2012-Kinder #obfuscation #static analysis #towards
Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.
ASE-2011-BokorKSS #partial order #reduction
Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety
Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
VMCAI-2009-KinderZV #abstract interpretation #control flow #framework #re-engineering
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (JK, FZ, HV), pp. 214–228.
CAV-2008-KinderV #framework #named #platform #static analysis
Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.
PEPM-2018-MitchellBLK #api #composition #encryption
Checking cryptographic API usage with composable annotations (short paper) (DM, LTvB, BL, JK), pp. 53–59.
PLDI-2019-LoringMK #execution #javascript #regular expression #semantics #symbolic computation
Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.
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.