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.

Conference Day
Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Domain Specific LanguagesOOPSLA at Salon E
Chair(s): Yannis SmaragdakisUniversity of Athens
13:30
22m
Talk
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
OOPSLA
Eric HolkIndiana University, Ryan R. NewtonIndiana University, Jeremy G. Siek, Andrew LumsdaineIndiana University
Link to publication
13:52
22m
Talk
Smten with Satisfiability-Based Search
OOPSLA
Richard UhlerMIT-CSAIL, Nirav DaveSRI International
Link to publication
14:15
22m
Talk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
OOPSLA
Jeffrey BosboomMIT CSAIL, Sumanaruban RajaduraiNational University of Singapore, Weng-Fai WongNational University of Singapore, Saman AmarasingheMIT
Link to publication
14:37
22m
Talk
SurveyMan: Programming and Automatically Debugging Surveys
OOPSLA
Emma ToschUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst
Link to publication File Attached