POPL 2016 (series) / PADL (series) /
PADL Program
This is the PADL program - see the full program for POPL 2016 and all affiliated events.
Filter Program
Dates
Mon 18 Jan 2016
Tue 19 Jan 2016
Rooms
Room Bayboro
Tracks
PADL
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:45 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | Program Synthesis for Direct Manipulation Interfaces PADL Ravi Chugh University of Chicago |
10:30 - 12:00 | |||
10:30 30mTalk | Simplifying Probabilistic Programs Using Computer Algebra PADL | ||
11:00 30mTalk | Haskino: A Remote Monad for Programming the Arduino PADL | ||
11:30 30mTalk | From Monads to Effects and Back PADL |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station PADL | ||
15:00 30mTalk | 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 | |||
16:00 30mTalk | 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 30mTalk | Default Rules for Curry PADL |
Tue 19 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 30mTalk | Computing with Catalan Families, Generically PADL Paul Tarau University of North Texas | ||
11:00 30mTalk | A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations PADL Paul Tarau University of North Texas | ||
11:30 30mTalk | Generic Matching of Tree Regular Expressions over Haskell Data Types PADL |