Final Results
Undergraduate Category
- First place: Martin Kellogg. University of Washington. Combining Bug Detection and Test Case Generation.
- Second place: Felipe Rodrigues Monteiro Sousa. Federal University of Amazonas. Bounded Model Checking of State-Space Digital Systems.
- Third place: Christopher Mackie. University of Washington. Preventing Signedness Errors in Numerical Computations in Java.
Graduate Category
- First place: Calvin Loncaric. University of Washington. Cozy: Synthesizing Collection Data Structures.
- Second place: Titus Barik. North Carolina State University. How should static analysis tools explain anomalies to developers?
- Third place: Spencer Pearson. University of Washington. Evaluation of Fault Localization Techniques.
Finalists
Undergraduate Category
- Martin Kellogg: Combining Bug Detection and Test Case Generation
- Christopher Mackie: Preventing Signedness Errors in Numerical Computations in Java
- Felipe Rodrigues Monteiro Sousa: Bounded Model Checking of State-Space Digital Systems
Graduate Category
- Titus Barik: How should static analysis tools explain anomalies to developers?
- Xinrui Guo: SmartDebug: An Interactive Debug Assistant for Java
- Sebastian Kappler: Finding and Breaking Test Dependencies to Speed up Test Execution
- Calvin Loncaric: Cozy: Synthesizing Collection Data Structures
- Spencer Pearson: Evaluation of Fault Localization Techniques
Accepted Papers
- RABIEF: Range Analysis Based Integer Error Fixing
- How should static analysis tools explain anomalies to developers?
- Static Loop Analysis and its Applications
- Evaluation of Fault Localization Techniques
- Finding and Breaking Test Dependencies to Speed up Test Execution
- Data Structure Synthesis
- Effective Assignment and Assistance to Software Developers and Reviewers
- Repairing Test Dependence
- Combining Bug Detection and Test Case Generation
- Constraint-based Event Trace Reduction
- Enforcing correct array indexes with a type system
- Discovering violations of Java API invariants
- Automatic Trigger Generation for End User Written Rules for Home Automation
- Preventing Signedness Errors in Numerical Computations in Java
- Fine-Grained Binary Code Authorship Identification
- Automatic Performance Testing Using Input-Sensitive Profiling
- Bounded Model Checking of State-Space Digital Systems
- Identifying participants for collaborative merge
- Atlas: an intelligent, performant framework for Web-based grid computing
- SmartDebug: An Interactive Debug Assistant for Java
- Social Health Cues Developers Use When Choosing Open Source Packages
- Hotspot Symbolic Execution of Floating-point Programs
