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.

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