PADL Contributors

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (40)

Mario Alviano University of Calabria Committee Member in Program Committee within the PADL-track
Sergio Antoy Kiel University Author of Default Rules for Curry within the PADL-track in PADL
Roman Barták Charles University in Prague Author of Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station within the PADL-track in PADL
Lars Bergstrom Mozilla Research Committee Member in Program Committee within the PADL-track
Edwin Brady University of St Andrews Committee Member in Program Committee within the PADL-track
Jacques Carette McMaster University Canada Author of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track in PADL
Mats Carlsson SICS Committee Member in Program Committee within the PADL-track
Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee within the PADL-track
Ravi Chugh University of Chicago Speaker of Program Synthesis for Direct Manipulation Interfaces within the PADL-track in PADL
Ingmar Dasseville KU Leuven Author of The KB paradigm and its application to interactive configuration within the PADL-track in PADL
Marc Denecker KU Leuven Author of The KB paradigm and its application to interactive configuration within the PADL-track in PADL
Agostino Dovier University of Udine Author of A GPU implementation of the ASP computation within the PADL-track in PADL
Thomas Eiter Vienna University of Technology Committee Member in Program Committee within the PADL-track
Andrea Formisano Università di Perugia Author of A GPU implementation of the ASP computation within the PADL-track in PADL
Thom Fruehwirth University of Ulm Committee Member in Program Committee within the PADL-track
Marco Gavanelli Universita di Ferrara Italy Co-chair in Organizers for PADL Co-chair in Program Committee within the PADL-track
Andy Gill University of Kansas Author of Haskino: A Remote Monad for Programming the Arduino within the PADL-track in PADL
Mark Grebe University of Kansas Author of Haskino: A Remote Monad for Programming the Arduino within the PADL-track in PADL
Jurriaan Hage Utrecht University Netherlands Author of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track in PADL
Michael Hanus Kiel University Author of Default Rules for Curry within the PADL-track in PADL
Gerda Janssens KU Leuven Author of The KB paradigm and its application to interactive configuration within the PADL-track in PADL
Jan Jelínek Charles University in Prague Author of Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station within the PADL-track in PADL
Håkan Kjellerstrand CUNY Brooklyn College and Graduate Center Author of The Picat-SAT Compiler within the PADL-track in PADL
Daan Leijen Microsoft Research Author of From Monads to Effects and Back within the PADL-track in PADL
Geoffrey Mainland Drexel University Committee Member in Program Committee within the PADL-track
Peter Müller ETH Zurich Author of Viper - A Verification Infrastructure for Permission-based Reasoning within the PADL-track in PADL
Enrico Pontelli New Mexico State University Author of A GPU implementation of the ASP computation within the PADL-track in PADL Committee Member in Program Committee within the PADL-track
John Reppy University of Chicago Co-chair in Organizers for PADL Session Chair of Welcome (part of PADL) Co-chair in Program Committee within the PADL-track
Torsten Schaub University of Potsdam Committee Member in Program Committee within the PADL-track
Tom Schrijvers KU Leuven Committee Member in Program Committee within the PADL-track
Alejandro Serrano Utrecht University Author of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track in PADL
Chung-chieh Shan Indiana University Author of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track in PADL
Paul Tarau University of North Texas Author of A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations within the PADL-track in PADL Author of Computing with Catalan Families, Generically within the PADL-track in PADL Committee Member in Program Committee within the PADL-track
Pieter Van Hertum KU Leuven Author of The KB paradigm and its application to interactive configuration within the PADL-track in PADL
Niki Vazou UC San Diego Author of From Monads to Effects and Back within the PADL-track in PADL
Flavio Vella Sapienza University of Rome, Italy Author of A GPU implementation of the ASP computation within the PADL-track in PADL
Dimitrios Vytiniotis Microsoft Research, Cambridge Committee Member in Program Committee within the PADL-track
Daniel Winograd-Cort University of Pennsylvania Committee Member in Program Committee within the PADL-track
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center Author of The Picat-SAT Compiler within the PADL-track in PADL Committee Member in Program Committee within the PADL-track
Lukasz Ziarek SUNY Buffalo, USA Committee Member in Program Committee within the PADL-track