SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Wed 22 Oct 2014 13:52 - 14:15 at Salon E - Domain Specific Languages Chair(s): Yannis Smaragdakis

Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) have been leveraged in solving a wide variety of important and challenging problems, including automatic test generation, model checking, and program synthesis. For these applications to scale to larger problem instances, developers cannot solely rely on the sophistication of SAT and SMT solvers to efficiently solve their queries; they must also optimize their own orchestration and construction of queries. We present Smten, a high-level language for orchestrating and constructing satisfiability-based search queries. We show that applications developed using Smten require significantly fewer lines of code and less developer effort to achieve results comparable to standard SMT-based tools.

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Domain Specific LanguagesOOPSLA at Salon E
Chair(s): Yannis Smaragdakis University of Athens
13:30
22m
Talk
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
OOPSLA
Eric Holk Indiana University, Ryan R. Newton Indiana University, Jeremy G. Siek , Andrew Lumsdaine Indiana University
Link to publication
13:52
22m
Talk
Smten with Satisfiability-Based Search
OOPSLA
Richard Uhler MIT-CSAIL, Nirav Dave SRI International
Link to publication
14:15
22m
Talk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
OOPSLA
Jeffrey Bosboom MIT CSAIL, Sumanaruban Rajadurai National University of Singapore, Weng-Fai Wong National University of Singapore, Saman Amarasinghe MIT
Link to publication
14:37
22m
Talk
SurveyMan: Programming and Automatically Debugging Surveys
OOPSLA
Emma Tosch University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst
Link to publication File Attached