March 20 2013 Technology Marketplace

Compiler

Building Solver-Aided DSLs with Rosette (Emina Torlak, UC Berkeley)

We will present Rosette, a new framework for rapid design and prototyping of solver-aided DSLs. It accepts as input an interpreter (a virtual machine) that defines the programming model or a DSL and produces a translator from programs to constraints, facilitating constraint-based synthesis, verification, debugging and execution. We will demo shallow and deep embeddings of sample DSLs in Rosette.

Andrew Lumsdaine, Indiana University

As part of its efforts supported by the X-Stack program, the XPRESS team is developing the eXascale ParalleX Intermediate form (XPI). Initially, XPI will provide a low-level API to HPX functionality that can be directly called as a library or used as a compiler target. However, XPI is not intrinsically tied to HPX -- many of the abstract concepts captured and exposed by XPI are common across the various approaches to exascale being explored under the auspices of the X-Stack program. An initial draft of the XPI specification was recently released. Representatives of the XPRESS team will be available at the technology marketplace to discuss XPI in depth.

Armando Solar-Lezama, MIT

Armando will give a demo of the Sketch system for program synthesis using sketching.

Michael Wilde, Argonne National Lab

Swift is a parallel scripting language for composing scientific applications that run on a large variety of parallel machines.