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

  • Xi Cheng. RABIEF: Range Analysis Based Integer Error Fixing
  • Titus Barik. How should static analysis tools explain anomalies to developers?
  • Xie Xiaofei. Static Loop Analysis and its Applications
  • Spencer Pearson. Evaluation of Fault Localization Techniques
  • Sebastian Kappler. Finding and Breaking Test Dependencies to Speed up Test Execution
  • Calvin Loncaric. Data Structure Synthesis
  • Motahareh Bahrami Zanjani. Effective Assignment and Assistance to Software Developers and Reviewers
  • Wing Lam. Repairing Test Dependence
  • Martin Kellogg. Combining Bug Detection and Test Case Generation
  • Jie Wang. Constraint-based Event Trace Reduction
  • Joe Santino. Enforcing correct array indexes with a type system
  • Waylon Huang. Discovering violations of Java API invariants
  • Chandrakana Nandi. Automatic Trigger Generation for End User Written Rules for Home Automation
  • Christopher Mackie. Preventing Signedness Errors in Numerical Computations in Java
  • Xiaozhu Meng. Fine-Grained Binary Code Authorship Identification
  • Qi Luo. Automatic Performance Testing Using Input-Sensitive Profiling
  • Felipe Rodrigues Monteiro Sousa. Bounded Model Checking of State-Space Digital Systems
  • Catarina Costa. Identifying participants for collaborative merge
  • Sachith Gullapalli. Atlas: an intelligent, performant framework for Web-based grid computing
  • Xinrui Guo. SmartDebug: An Interactive Debug Assistant for Java
  • Andrew Head. Social Health Cues Developers Use When Choosing Open Source Packages
  • Minghui Quan. Hotspot Symbolic Execution of Floating-point Programs