Trends in Software Synthesis Bernd Finkbeiner

News

04.04.2016

Grades Online

Dear students,

your final grade can be seen on your personal status page.

We wish you all a good start in the next semester and hope to see you again in our lectures. 

Your Seminar-Team

 

26.01.2016

Info Presentation T8

Dear Students, 

due to a talk preceding our seminar talk on Thursday, 28th, we will start the seminar session at 10:30.  

Sorry for the inconvenience 

Your Seminar-Team

06.01.2016

Summary

Dear Students,

We wish you all a happy new year and hope you had a good start into 2016.

As we already have mentioned, at the end of the seminar we would like to ask you to submit a summary on the topic. More information about the content of the summary can be... Read more

Dear Students,

We wish you all a happy new year and hope you had a good start into 2016.

As we already have mentioned, at the end of the seminar we would like to ask you to submit a summary on the topic. More information about the content of the summary can be found under Information/Summary

Please submit the summary by March 30th, 2016

See you all tomorrow

Your Seminar-Team

10.11.2015

Reading Session this Week

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.pdf

Interesting is for example Section 6 for details on Synthesis for Linear... Read more

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.pdf

Interesting is for example Section 6 for details on Synthesis for Linear Integer Arithmetic.

See you on Thursday

23.10.2015

Paper Distribution

Dear Students,

we apologies for the delay. On your personal status page you can find the paper that was assigned to you. Please contact your advisor to plan the next steps.

Please take a look at the Reading Session Page to check which session you were assigned... Read more

Dear Students,

we apologies for the delay. On your personal status page you can find the paper that was assigned to you. Please contact your advisor to plan the next steps.

Please take a look at the Reading Session Page to check which session you were assigned for. If you were assigned for the session R1, please contact Hazem Torfah asap.

All who were not assigned a paper were added to our waiting-list. In case a spot becomes available again, you will be informed immediately.

Please remember that the registration is binding from 6 pm today. In case you decide to not participate in the seminar please let us know. 

Your Seminar-Team 

22.10.2015

Paper Preferences

Dear Students,

please, incase you haven't done so, submit your paper preferences by the end of the day (23:59). The spots and the papers will be distributed automatically by tomorrow morning. 

Your Seminar-team 

19.10.2015

List of Papers

You can find the list of papers under Information/Materials.

28.09.2015

Reading Groups

Please check out the new information on the main page about the reading group phase. 

01.09.2015

Registration is open. Please sign up for the seminar before 22.10.2015 23:59.

In case the number of registration exceeds the number of available spots, the participants will be drawn randomly. You will be informed about your admission as soon as the registration... Read more

Registration is open. Please sign up for the seminar before 22.10.2015 23:59.

In case the number of registration exceeds the number of available spots, the participants will be drawn randomly. You will be informed about your admission as soon as the registration is closed. 
 

Show all
 

Trends in Software Synthesis

Program synthesis in its classical formulation is concerned about finding a program that meets a specification given as a logical formula. Recent work on program verification and program optimization have shown potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementations.

In this seminar we look into various novel approaches in program synthesis. The topics will be divided mainly into three categories. Deductive Synthesis, where synthesis is regarded as a theorem proving task, syntax-guided synthesis, where a partial program with incomplete information is completed using user-specified assertions and finally, learning-based approaches, where the synthesis procedure is formulated as a learning algorithm between an oracle and the synthesizer. 

The seminar is split into two parts. The first part will take the form of reading sessions, where we lay the foundations of the topic. The second part will consist of presentations about recent papers from the three categories mentioned above. 

For participation please register under the registration tab above.

 

Important Dates

First Meeting: Monday October 19th, 9:40-10:15 in E1.3 Room 528
First Reading Session: Thursday October 29th, 10:15-12:00 in E1.3 Room 528

Organization  

The weekly meetings will take place every Thursday from 10am to 12pm.  

Reading Group

The reading group phase involves five reading sessions in which we disucuss the foundations of software synthesis. Each session will be lead by two or three participants. Their task is to shortly introduce the topic of the session und administrate the discussion.  

During the reading group phase we will look into the following topics: 

- R1: Applications of Theorem Proving to Problem Solving by Cordell Green

- R2: A Deductive Approach to Program Synthesis by Zohar Manna & Richard Waldinger

- R3: Software Synthesis Procedures by Viktor Kuncak et. al.

- R4: From Program Verification to Program Synthesis by Sumit Gulwani et. al. 

- R5: Learning Regular Sets from Queries and Counterexamples by Dana Angluin

       Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages by A.Farzan et.al.

Please click here to see which reading session you are responsible for. 

Talks

The presentation phase starts immediatley after the reading group phase. Each participent will give a talk on the topic that was assigned to her/him in the first week of the semester. The talks will present recent papers in software synthesis. 

Please refer to the timetable for more information about the time and location. The paper list can be found here

Summary

At the end of the seminar we would like you to submit a summary on the topic. More information about the content of the summary can be found under Information/Summary



If you encounter technical problems, please contact the administrators