ISSTA 2014, Doctoral Symposium

PhD students are invited to submit an extended abstract describing their research goals, methods, and preliminary results. Prospective student participants should be at a stage in their research where they have already identified a research topic, but they are at least 6 months prior to dissertation completion. Extended abstracts may be up to 4 pages in ACM conference format. Submit your abstract through EasyChair.

Important Dates
Submission Deadline April 18, 2014 (Friday), extended from April 11
Notification May 16th, 2014 (Friday)
Doctoral Symposium July 22, 2014 (Tuesday)

Tentative Program

  • 10:30 Keynote by Prof. Rastislav Bodik (University of California, Berkeley), "Faster, Higher-Level, Stronger: Programming with Solver-Aided Languages"
  • 11:20 Meixian Chen, "Reusing Constraint Proofs for Scalable Program Analysis"
  • 12:00 Lunch
  • 13:30 Shabnam Mirshokraie, "Effective Test Generation and Adequacy Assessment for JavaScript-based Web Applications"
  • 14:10 Zhiqiang Zuo, "Efficient Statistical Debugging via Hierarchical Instrumentation"

Doctoral Symposium Chair

Sarfraz Khurshid, University of Texas at Austin, USA

Doctoral Symposium Committee

Antonia Bertolino, ISTI-CNR, Italy
Mats Heimdahl, University of Minnesota, USA
Mauro Pezzè, University of Lugano, Switzerland
Shin Yoo, University College London, UK