LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13502

Seminar 13502
Approaches and Applications of Inductive Programming

Sumit Gulwani (Microsoft - Redmond, US), Emanuel Kitzelmann (Universität Duisburg - Essen, DE), Ute Schmid (Universität Bamberg, DE)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.


Seminar Wide Materials
Abstracts: pdf

 Working Group 3. Benchmarks and Metrics
Abstracts: txttxt


Umair Zafrulla Ahmed , IIT - Kanpur
 Automatically Generating Problems and Solutions for Natural Deduction
Abstracts: txt Slides: pdf


Sam Bayless , University of British Columbia - Vancouver
 SMT-based Videogame Synthesis
Abstracts: txt


Tarek R. Besold , Universität Osnabrück
 Learning Analogies
Abstracts: txtpdf Slides: pdf


Luc De Raedt , KU Leuven
 Towards declarative languages for learning
Abstracts: txt Slides: pdf


Eyal Dechter , MIT - Cambridge
 Learning to ask relevant questions: inductive programming and conceptual development.
Abstracts: txt Slides: pptx


Alexey Grigoryev , National Nuclear Research University MEPhI
 Project IDRE “I&D” to support AIT (it is the same talk which by Sergievsky George M. is avalable)
Abstracts: txt


Sumit Gulwani , Microsoft Corp. - Redmond
 Flash Fill: An Excel 2013 feature
Abstracts: txt Slides: pptx


Mike Hansen , Indiana University - Bloomington
 Towards Quantifying Program Complexity and Comprehension
Abstracts: txt


Robert Henderson , Imperial College London
 Cumulative Learning by Refinement and Automated Abstraction
Abstracts: txt


Jose Hernandez-Orallo , Polytechnic University of Valencia
 Small but deep. What can we learn from inductive programming?
Abstracts: txt Slides: pdf


Petra Hofstedt , TU Cottbus

Frank Jaekel , Universität Osnabrück

Susumu Katayama , University of Miyazaki
 MagicHaskeller on the Web: Inductive Functional Programming System for Casual Programming
Abstracts: txt Slides: tgz


Dileep Kini , University of Illinois - Urbana
 Automated Grading and Feedback for DFA Constructions
Abstracts: txt


Emanuel Kitzelmann , Universität Duisburg - Essen
 Example-driven Inductive Functional Programming with IGOR2
Abstracts: txt Slides: pdf


Mark Marron , Microsoft Corp. - Redmond
 Combining Deductive Rewriting and Inductive Synthesis
Abstracts: txt


Fernando Martinez-Plumed , Polytechnic University of Valencia
 gErl: an Inductive Programming System with user-defined operators.
Abstracts: txt Slides: txt


Martin Moehrmann , Universität Osnabrück
 HDTP: Heuristic Driven Theory Projection


Stephen H. Muggleton , Imperial College London
 Predicate invention and learning of recursive logic programs
Abstracts: txt Slides: pdf


Daniel Perelman , University of Washington - Seattle
 Test-Driven Synthesis
Abstracts: txt Slides: pdf


Iurii Perov , University of Oxford
 Automatic programming and probabilistic programming
Abstracts: txt Slides: pdf


Ruzica Piskac , Yale University
 Type Inhabitation Problem for Code Completion and Repair
Abstracts: txt Slides: pdf


Oleksandr Polozov , University of Washington - Seattle
 Personalized Mathematical Word Problem Generation
Abstracts: txt Slides: pdf


Marco Ragni , Universität Freiburg
 A Cognitive Model Approach to Solve IQ-Test Problems
Abstracts: txt


Ute Schmid , Universität Bamberg
 Applying IGOR to Cognitive Problems
Abstracts: txt Slides: pdf


George M. Sergievsky , National Nuclear Research University MEPhI
 Project IDRE “I&D” to support AIT
Abstracts: txt


Michael Siebers , Universität Bamberg

Rishabh Singh , MIT - Cambridge
 Autograder : Automated Feedback Generation for Programming Problems
Abstracts: txt Slides: pptx

 Storyboard Programming of Data Structure Manipulations
Abstracts: txt Slides: pptx


Armando Solar-Lezama , MIT - Cambridge
 Program Synthesis Using Sketch
Abstracts: txt


Janis Voigtlaender , Universität Bonn

David White , Universität Bamberg
 Learning a Program's usage of Dynamic Data Structures from Sample Executions
Abstracts: txt Slides: pptx


Eran Yahav , Technion - Haifa
 Programming with Millions of Examples
Abstracts: txt Slides: pdf


Benjamin Zorn , Microsoft Research - Redmond
 FlashRelate: Extracting Relations from Spreadsheets
Abstracts: txt Slides: pptx



Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: