Paper Pool for Spring 2020

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