LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13502
 Functions: 

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
 
 Schedule
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

 



License

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: