PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 09:00
WelcomePADL at Room Bayboro
Chair(s): John Reppy University of Chicago
09:00 - 10:00
Invited TalkPADL at Room Bayboro
09:00
60m
Talk
Program Synthesis for Direct Manipulation Interfaces
PADL
Ravi Chugh University of Chicago
10:30 - 12:00
Functional Programming IPADL at Room Bayboro
10:30
30m
Talk
Simplifying Probabilistic Programs Using Computer Algebra
PADL
Jacques Carette McMaster University, Chung-chieh Shan Indiana University
11:00
30m
Talk
Haskino: A Remote Monad for Programming the Arduino
PADL
Mark Grebe University of Kansas, Andy Gill University of Kansas
11:30
30m
Talk
From Monads to Effects and Back
PADL
Niki Vazou UC San Diego, Daan Leijen Microsoft Research
14:00 - 15:30
ConstraintsPADL at Room Bayboro
14:00
30m
Talk
A GPU implementation of the ASP computation
PADL
Agostino Dovier University of Udine, Andrea Formisano Università di Perugia , Enrico Pontelli New Mexico State University, Flavio Vella Sapienza University of Rome, Italy
14:30
30m
Talk
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
PADL
Jan Jelínek Charles University in Prague, Roman Barták Charles University in Prague
15:00
30m
Talk
The Picat-SAT Compiler
PADL
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, Håkan Kjellerstrand CUNY Brooklyn College and Graduate Center
16:00 - 17:00
Logic ProgrammingPADL at Room Bayboro
16:00
30m
Talk
The KB paradigm and its application to interactive configuration
PADL
Pieter Van Hertum KU Leuven, Ingmar Dasseville KU Leuven, Gerda Janssens KU Leuven, Marc Denecker KU Leuven
16:30
30m
Talk
Default Rules for Curry
PADL
Sergio Antoy Kiel University, Michael Hanus Kiel University

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change