ISSTA 2016 is co-loacted with the International Workshop on Constraints in Software Testing, Verification and Analysis 2016, which is organized by Christoph M. Wintersteiger and Omer Tripp. The two of them kindly answered our questions about the event.
What is the main problem that motivates your workshop?
Stated shortly, we want to bring together — and intensify the dialog between — the designers of SAT/SMT/CSP solvers and the consumers of such solutions in the PL/SE community. There is growing use of such tools, and so we view our workshop as becoming increasingly more important.
What do you think might be promising solutions?
What we’re hoping for is common agreement and understanding within, and across, the solvers and applications communities about the goals and priorities in advancing the state-of-the-art in solver capabilities. Obviously there’s more than one perspective, and that should remain the case, but distilling the different views into a small set of actionable objectives would be a great outcome for our workshop.
How did this workshop come to be?
The first CSTVA meeting was in France a decade ago today. It was organized by Benjamin Blanc, Arnaud Gotlieb and Claude Michel. Somewhat surprisingly, the website still exists (check it out: http://www.irisa.fr/manifestations/2006/CSTVA06/ ). At its inception, CSTVA was dominated by European researchers. Since it has evolved into a genuinely international workshop organized and attended by leading researchers from across the globe.
Who should submit to your workshop?
We encourage submissions by both solver and application designers. We hope for quality submissions from both communities, such that both will be represented properly, leading to deep and useful discussions throughout the workshop and beyond.
You are co-locating with ISSTA. What’s the relationship between your workshop and the more general field of software testing and analysis?
ISSTA is among the best PL/SE conferences, and as such, it will attract many researchers and practitioners whose research involves different forms of SAT/SMT/CSP solving. Hence the strong connection to CSTVA. We’re proud to be under the ISSTA umbrella this year!
Do you primarily cater towards researchers, towards practitioners, or both?
The answer is definitely both! We want to chart a path for the evolution of solvers, and so feedback from both researchers and practitioners is essential.
Where do you see the future of this field?
To us there is no doubt that use of solvers will only increase over time. As such, the need to bring together solver and application designers, and maintain open channels of communication within and between the different communities and sub-communities, will undoubtedly intensify.
What’s the planned format? Anything special besides paper presentations?
Beyond “standard” research papers, we also solicit tool demonstrations, fast abstracts and presentation-only papers. So… you can either publish mature research results as a full paper (to be included in the proceedings); or showcase a cool tool that you’ve built; or stun us with a concise statement of a new (or old yet ignored :-)) challenge, position or perspective, or a groundbreaking result that’s not quite ready for full publication; or share research that’s published/submitted elsewhere as a presentation-only paper (to be excluded from the proceedings). So many options, pick one!
Anything else why people should attend?
If you ever had the experience of developing a solver, or using one for your research, or even trying to use a solver yet failing or being curious why and how to go about the whole solver business, then you should definitely attend CSTVA. We promise to keep it interesting!
Find more interviews behind the link.