PADL 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
Mario AlvianoAlviano, Mario University of CalabriaItaly Session Chair of Foundations and Programming Concepts at Work (part of PADL) Data validation meets Answer Set Programming Committee Member in Programme Committee within the PADL-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Programme Committee within the PADL-track
B Antonio Becerra-TeronBecerra-Teron, Antonio University of AlmeriaSpain Declarative Debugging of XML Queries
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Programme Committee within the PADL-track
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Committee Member in Programme Committee within the PADL-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Semantics-based Synthesis in miniKanren
C Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States Synchronous Message-Passing with Priority
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Programme Committee within the PADL-track
Mistral ContrastinContrastin, Mistral Facebook LondonUnited Kingdom Committee Member in Programme Committee within the PADL-track
D Carmine DodaroDodaro, Carmine Department of Mathematics and Computer Science, University of CalabriaItaly Data validation meets Answer Set Programming
Sandra DylusDylus, Sandra Cap3 GmbHGermany Committee Member in Programme Committee within the PADL-track
E Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Programme Committee within the PADL-track
G Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Programme Committee within the PADL-track
Andy GillGill, Andy University of Kansas, USAUnited States On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages
Juan José González-AbrilGonzález-Abril, Juan José MiST, VRAIN, Universitat Politecnica de ValenciaSpain Causal-Consistent Reversible Debugging: Improving CauDEr
Mark GrebeGrebe, Mark University of Central Missouri, USAUnited States On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages
Gopal GuptaGupta, Gopal Committee Member in Programme Committee within the PADL-track
H Michael HanusHanus, Michael Kiel UniversityGermany Lightweight Declarative Server-Side Web Programming
I Grant IraciIraci, Grant University at BuffaloUnited States Synchronous Message-Passing with Priority
K Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Session Chair of Applications of Declarative Languages (part of PADL) Committee Member in Programme Committee within the PADL-track
L Yuliya LierlerLierler, Yuliya University of Nebraska SMT-based Constraint Answer Set Solver EZSMT
M Jesus M. Almendros-JimenezM. Almendros-Jimenez, Jesus Universidad de AlmeriaSpain Declarative Debugging of XML Queries
José MoralesMorales, José IMDEA Software Institute Session Chair of Keynote 2 (part of PADL) Co-chair in Programme Chairs within the PADL-track Co-chair in Programme Committee within the PADL-track
N Enrique NaudonNaudon, Enrique BloombergUnited States Putting gradual types to work
Henrik NilssonNilsson, Henrik University of Nottingham, UK Committee Member in Programme Committee within the PADL-track
O Reed OeiOei, Reed University of Illinois at Urbana-ChampaignUnited States Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Session Chair of Foundations and Programming Concepts (part of PADL) Session Chair of Keynote 1 (part of PADL) Co-chair in Programme Chairs within the PADL-track Co-chair in Programme Committee within the PADL-track
P Sumit PadhiyarPadhiyar, Sumit Indian Institue Of Technology, MadrasIndia ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
Loc PhamPham, Loc New Mexico State UniversityUnited States A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
Enrico PontelliPontelli, Enrico New Mexico State University A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States Committee Member in Programme Committee within the PADL-track
S Bhargav ShivkumarShivkumar, Bhargav State University of New York - University at BuffaloUnited States Putting gradual types to work
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs Committee Member in Programme Committee within the PADL-track
Tran Cao SonSon, Tran Cao New Mexico State UniversityUnited States A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
T Paul TarauTarau, Paul University of North TexasUnited States Session Chair of Declarative Approaches to Testing and Debugging (part of PADL) A Family of Unification-oblivious Program Transformations and Their Applications Committee Member in Programme Committee within the PADL-track
Fabio TardivoTardivo, Fabio New Mexico State UniversityUnited States A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
V German VidalVidal, German Universitat Politecnica de ValenciaSpain Causal-Consistent Reversible Debugging: Improving CauDEr
W Jan WielemakerWielemaker, Jan Committee Member in Programme Committee within the PADL-track
X Ningning XieXie, Ningning The University of Hong KongChina Committee Member in Programme Committee within the PADL-track
Y David YoungYoung, David University of Kansas, USAUnited States On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages
Z Arnel ZamaylaZamayla, Arnel University of Calabria, ItalyItaly Data validation meets Answer Set Programming
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Committee Member in Programme Committee within the PADL-track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Putting gradual types to work Synchronous Message-Passing with Priority