Paper Pool for Spring 2020
- Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq. POPL 2020.
- Executable formal semantics for the POSIX shell. POPL 2020.
- Incorrectness Logic. POPL 2020.
- Debugging Inputs. ICSE 2020.
- Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning. ICSE 2020.
- Adversarial sample detection for deep neural network through model mutation testing. ICSE 2019.
- Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks. ICSE 2020.
- Testing DNN Image Classifier for Confusion & Bias Errors. ICSE 2020.
- TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. ICML 2019.
- Defending Against Physically Realizable Attacks on Image Classification. ICLR 2020.
- Chopped Symbolic Execution. ICSE 2018.
- Parser-Directed Fuzzing. PLDI 2019.
- Initialize Once, Start Fast: Application Initialization at Build Time. OOPSLA 2019.
- ExceLint: Automatically Finding Spreadsheet Formula Errors. OOPSLA 2018.
- Memento mori: dynamic allocation-site-based optimizations. ISMM 2015.
- Defining the Undefinedness of C. PLDI 2015.
- Efficient Lock-Free Durable Sets. OOPSLA 2019.
- Mesh: Compacting Memory Management for C/C++ Applications. PLDI 2019.
- Virtual Machine Design for Parallel Dynamic Programming Languages. OOPSLA 2018.
- REPT: Reverse Debugging of Failures in Deployed Software. OSDI 2018.
- Automated clustering and program repair for introductory programming assignments. PLDI 2018.
- A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. TOCE 2019.
- Rethinking Debugging as Productive Failure for CS Education. SIGCSE 2019.
- Does syntax highlighting help programming novices?. ESE 23 (2018).
- What distinguishes great software engineers?. ESE 25 (2020).
- Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. OSDI 2018.
- HyDiff: Hybrid Differential Software Analysis. ICSE 2020.
- Causal Testing: Understanding Defects' Root Causes. ICSE 2020.
- Synthesizing Database Programs for Schema Refactoring. PLDI 2019.
- Coverage Guided, Property Based Testing. OOPSLA 2019.
- SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. PLDI 2019.
- HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS. ICLR 2020.
- Scalable Taint Specification Inference with Big Code. PLDI 2019.
- code2vec: Learning Distributed Representations of Code. POPL 2019.
- Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/FSE 2018.