Social

Student Research Competition Track

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
 

Registration now open

Important: Please pre-register to allow us to pre-print your badge in advance.
Note that we have limited availability for on-site registrations. Register early!

We look forward to seeing you at the conference!
Registration rates and policies

Attendee information

Everything you need to know for attending FSE.

Proceedings

The proceedings are now in the ACM Digital Library.

Print Program (*new*)

The program part of the FSE Yearbook. The pages with attendee profiles and advertisement will only be available in the print copy that attendees will receive at the conference.

FSE Week Overview

FSE conference (November 15-17), Workshops (November 13, 14, and 18), Doctoral Symposium (November 14)

Schedule Main Conference

Check out the schedule of the main conference.

Conference Preview

Check out a preview of conference highlights.

Hotel reservations now open

The room rate is USD 189.00 / Night (Excluding Taxes & Fees). The rate is available until October 15, 2016. Consider participating in the Room Sharing program.

Important Dates

Submissions

  • Research papers: March 11, 2016
  • Workshop proposals: March 25, 2016
  • Visions and Reflections papers: June 15, 2016
  • Industry papers: June 15, 2016
  • Demo papers: June 15, 2016
  • Doctoral Symposium: June 15, 2016
  • Student Research Competition: June 15 July 1, 2016
  • Workshop papers: July 1, 2016

Rebuttal Period

  • For research papers only: April 30, 2016 (Noon PDT) - May 3, 2016 (23:59:59 AOE)

Events

  • Pre-conference Events: November 13-14, 2016
  • Doctoral Symposium: November 14, 2016
  • Main Conference: November 15-17, 2016
  • Post-conference Events: November 18, 2016