Tue 9 Jan 2018 16:00 - 16:10 at Crocker - Session 2-3 Chair(s): Barry Jay

Software engineering is routinely based on the premise that one starts a development process by modeling the desired application domain of interest. Iteratively and incrementally over time, further details are added in a seamless transition to a solution domain in which the final executable application is completed. Within this context it is difficult to identify the ideal place to apply software synthesis, that is, the ability to automate the generation of code which otherwise would have been written manually. The challenge is increased by the variety of modeling and programming languages, which are often predetermined by external project constraints such as developer experience or contractual agreements. When the application domain consists of a high degree of variability – found in product lines or highly configurable domains – we believe code synthesis plays an essential role in increasing the productivity of programmers and ensuring the quality of the resulting system. We have built a general framework that combines the language-neutral modeling power of algebra with a type-inhabitation based synthesis algorithm. The resulting framework is proven in Coq and an instance of it, prototypically implemented in Scala, will enable more comprehensive future evaluation in different domains.

Tue 9 Jan

PEPM-2018
16:00 - 17:30: PEPM 2018 - Session 2-3 at Crocker
Chair(s): Barry JayUniversity of Technology Sydney
PEPM-2018151551000000016:00 - 16:10
Talk
Jan BessaiTechnical University Dortmund, Boris DüdderUniversity of Copenhagen, George HeinemanWorcester Polytechnic Institute, Jakob RehofTechnical University Dortmund
File Attached
PEPM-2018151551060000016:10 - 16:20
Talk
Dominic Duggan, Jianhua YaoStevens Institute of Technology
PEPM-2018151551120000016:20 - 16:30
Talk
Isao SasanoShibaura Institute of Technology
PEPM-2018151551180000016:30 - 16:40
Talk
Olivier Nicole, Leo WhiteJane Street, Jeremy YallopUniversity of Cambridge, UK
File Attached
PEPM-2018151551240000016:40 - 16:50
Talk
File Attached
PEPM-2018151551300000016:50 - 17:30
Other