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

Results (40)

A Mario AlvianoAlviano, Mario University of Calabria Committee Member in Program Committee within the PADL -track
Sergio AntoyAntoy, Sergio Kiel University Default Rules for Curry
B Roman BartákBarták, Roman Charles University in Prague Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
Lars BergstromBergstrom, Lars Mozilla Research Committee Member in Program Committee within the PADL -track
Edwin BradyBrady, Edwin University of St Andrews Committee Member in Program Committee within the PADL -track
C Jacques CaretteCarette, Jacques McMaster UniversityCanada Simplifying Probabilistic Programs Using Computer Algebra
Mats CarlssonCarlsson, Mats SICS Committee Member in Program Committee within the PADL -track
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee within the PADL -track
Ravi ChughChugh, Ravi University of Chicago Program Synthesis for Direct Manipulation Interfaces
D Ingmar DassevilleDasseville, Ingmar KU Leuven The KB paradigm and its application to interactive configuration
Marc DeneckerDenecker, Marc KU Leuven The KB paradigm and its application to interactive configuration
Agostino DovierDovier, Agostino University of Udine A GPU implementation of the ASP computation
E Thomas EiterEiter, Thomas Vienna University of Technology Committee Member in Program Committee within the PADL -track
F Andrea FormisanoFormisano, Andrea Università di Perugia A GPU implementation of the ASP computation
Thom FruehwirthFruehwirth, Thom University of Ulm Committee Member in Program Committee within the PADL -track
G Marco GavanelliGavanelli, Marco Universita di FerraraItaly Co-chair in Organizers for PADL Co-chair in Program Committee within the PADL -track
Andy GillGill, Andy University of Kansas Haskino: A Remote Monad for Programming the Arduino
Mark GrebeGrebe, Mark University of Kansas Haskino: A Remote Monad for Programming the Arduino
H Jurriaan HageHage, Jurriaan Utrecht UniversityNetherlands Generic Matching of Tree Regular Expressions over Haskell Data Types
Michael HanusHanus, Michael Kiel University Default Rules for Curry
J Gerda JanssensJanssens, Gerda KU Leuven The KB paradigm and its application to interactive configuration
Jan JelínekJelínek, Jan Charles University in Prague Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
K Håkan KjellerstrandKjellerstrand, Håkan CUNY Brooklyn College and Graduate Center The Picat-SAT Compiler
L Daan LeijenLeijen, Daan Microsoft Research From Monads to Effects and Back
M Geoffrey MainlandMainland, Geoffrey Drexel University Committee Member in Program Committee within the PADL -track
Peter MüllerMüller, Peter ETH Zurich Viper - A Verification Infrastructure for Permission-based Reasoning
P Enrico PontelliPontelli, Enrico New Mexico State University A GPU implementation of the ASP computation Committee Member in Program Committee within the PADL -track
R John ReppyReppy, John 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
S Torsten SchaubSchaub, Torsten University of Potsdam Committee Member in Program Committee within the PADL -track
Tom SchrijversSchrijvers, Tom KU Leuven Committee Member in Program Committee within the PADL -track
Alejandro SerranoSerrano, Alejandro Utrecht University Generic Matching of Tree Regular Expressions over Haskell Data Types
Chung-chieh ShanShan, Chung-chieh Indiana University Simplifying Probabilistic Programs Using Computer Algebra
T Paul TarauTarau, Paul University of North Texas A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations Computing with Catalan Families, Generically Committee Member in Program Committee within the PADL -track
V Pieter Van HertumVan Hertum, Pieter KU Leuven The KB paradigm and its application to interactive configuration
Niki VazouVazou, Niki UC San Diego From Monads to Effects and Back
Flavio VellaVella, Flavio Sapienza University of Rome, Italy A GPU implementation of the ASP computation
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Committee Member in Program Committee within the PADL -track
W Daniel Winograd-CortWinograd-Cort, Daniel University of Pennsylvania Committee Member in Program Committee within the PADL -track
Z Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center The Picat-SAT Compiler Committee Member in Program Committee within the PADL -track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USA Committee Member in Program Committee within the PADL -track