Interactive Interface Programming by Example and Constraint-Based Synthesis
Event details
| Date | 13.06.2013 |
| Hour | 09:15 |
| Speaker | Mr Mikael Mayer |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. George Candea
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Friedrich Eisenbrand
Research Proposal
Learning Programs from Traces Using Version Space Algebra by T. Lau
Learning Regular Sets from Queries and Counterexamples by D. Angluin
Automating String Processing in Spreadsheets Using Input-Output Examples by S. Gulwani
Exam president: Prof. George Candea
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Friedrich Eisenbrand
Research Proposal
Learning Programs from Traces Using Version Space Algebra by T. Lau
Learning Regular Sets from Queries and Counterexamples by D. Angluin
Automating String Processing in Spreadsheets Using Input-Output Examples by S. Gulwani
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex