PADL 2018 Contributors

Write a Blog >>

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

co-located with POPL 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Weronika T. AdrianAdrian, Weronika T. Navigating Online Semantic Resources for Entity Set Expansion
Kritika AnandAnand, Kritika An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic
B Florian BiermannBiermann, Florian IT University of CopenhagenDenmark Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
C Francesco CalimeriCalimeri, Francesco University of Calabria LoIDE: a a web-based IDE for Logic Programming - Preliminary Report Optimizing Answer Set Computation via Heuristic-Based Decomposition
Gelsomina CatalanoCatalano, Gelsomina A REST-based Development Framework for ASP: Tools and Application
Pavan Kumar ChittimalliChittimalli, Pavan Kumar An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Probabilistic Functional Logic Programming
Karl CraryCrary, Karl Carnegie Mellon University Hygienic Source-Code Generation Using Functors
D Wensheng DouDou, Wensheng Institute of Software, Chinese Academy of Sciences, ChinaChina Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
Sandra DylusDylus, Sandra University of Kiel, GermanyGermany Probabilistic Functional Logic Programming
F Davide FuscàFuscà, Davide Optimizing Answer Set Computation via Heuristic-Based Decomposition
G Stefano GermanoGermano, Stefano LoIDE: a a web-based IDE for Logic Programming - Preliminary Report
H Stefan HallerstedeHallerstede, Stefan Three is a crowd: SAT, SMT and CLP on a chessboard
Miran HasanagicHasanagic, Miran Three is a crowd: SAT, SMT and CLP on a chessboard
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Exploiting Term Hiding to Reduce Run-time Checking Overhead
K Philipp KoernerKoerner, Philipp Three is a crowd: SAT, SMT and CLP on a chessboard
Sebastian KringsKrings, Sebastian Three is a crowd: SAT, SMT and CLP on a chessboard
L Giovanni LaboccettaLaboccetta, Giovanni A REST-based Development Framework for ASP: Tools and Application
Logan LelandLeland, Logan Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Michael LeuschelLeuschel, Michael University of Düsseldorf Three is a crowd: SAT, SMT and CLP on a chessboard
M Marco MannaManna, Marco University of CalabriaItaly Navigating Online Semantic Resources for Entity Set Expansion Publicity and Web Chair in Publicity Chair within the PADL-track
Samuel MertenMerten, Samuel Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Todd MillsteinMillstein, Todd University of California, Los Angeles INVITED TALK: ``Safe'' Languages Require Sequential Consistency
José MoralesMorales, José IMDEA Software Institute Exploiting Term Hiding to Reduce Run-time Checking Overhead
N Ravindra NaikNaik, Ravindra An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic
Thanh NguyenNguyen, Thanh Automatic Web Services Composition for Phylotastic
P Eliana PalermitiPalermiti, Eliana LoIDE: a a web-based IDE for Logic Programming - Preliminary Report
Simona PerriPerri, Simona Optimizing Answer Set Computation via Heuristic-Based Decomposition
Enrico PontelliPontelli, Enrico Automatic Web Services Composition for Phylotastic
R Kristian RealeReale, Kristian A REST-based Development Framework for ASP: Tools and Application
Francesco RiccaRicca, Francesco A REST-based Development Framework for ASP: Tools and Application
S Peter SestoftSestoft, Peter IT University of Copenhagen Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
Tran Cao SonSon, Tran Cao Automatic Web Services Composition for Phylotastic
Gordon StewartStewart, Gordon Ohio University Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Nataliia StulovaStulova, Nataliia IMDEA Software Institute and T.U. of Madrid (UPM)Spain Exploiting Term Hiding to Reduce Run-time Checking Overhead
T Paul TarauTarau, Paul University of North TexasUnited States On k-colored Lambda Terms and their Skeletons
Finn TeegenTeegen, Finn University of Kiel, GermanyGermany Probabilistic Functional Logic Programming
V Pierfrancesco VeltriVeltri, Pierfrancesco A REST-based Development Framework for ASP: Tools and Application
Z Jessica ZangariZangari, Jessica Optimizing Answer Set Computation via Heuristic-Based Decomposition
Carlo ZanioloZaniolo, Carlo INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution