List of Papers
- Generating performance distributions via probabilistic symbolic execution
- On the techniques we create, the tools we build, and their misalignments: A study of KLEE
- Guiding dynamic symbolic execution toward unverified program executions
- Synthesizing framework models for symbolic execution
- Type-aware concolic testing of JavaScript programs
- Termination-checking for LLVM peephole optimization
- Program synthesis using natural language
- SWIM: Synthesizing what I mean – Code search and idiomatic snippet synthesis
- Cross-supervised synthesis of web crawlers
- Angelix: scalable multiline program patch synthesis via symbolic analysis
- PAC learning-based verification and model synthesis
- StubDroid: automatic inference of precise data-flow summaries for the android framework
- DoubleTake: fast and precise error detection via evidence-based dynamic analysis
- Automated partitioning of android applications for trusted execution environments
- Finding security bugs in web applications using a catalog of access control patterns
- IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions
- Crowdsourcing program preconditions via a classification game
- Scalable thread sharing analysis
- Shadow of a doubt: testing for divergences between software versions