- Marco Gaboardi
:
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. PPDP 2021: 1:1 - William L. Harrison, Chris Hathhorn, Gerard Allwein:
A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP 2021: 22:1-22:14 - Joosep Jääger, Alisa Pankova:
PrivaLog: a Privacy-aware Logic Programming Language. PPDP 2021: 15:1-15:14 - Mathias Jakobsen, Alice Ravier, Ornela Dardha:
Papaya: Global Typestate Analysis of Aliased Objects. PPDP 2021: 19:1-19:13 - Jayanth Krishnamurthy, Manuel Serrano:
Causality Error Tracing in HipHop.js. PPDP 2021: 13:1-13:13 - Paul D. Rowe, John D. Ramsdell, Ian D. Kretz:
Automated Trust Analysis of Copland Specifications for Layered Attestations✱. PPDP 2021: 23:1-23:15 - Bernardo Toninho, Luís Caires, Frank Pfenning:
A Decade of Dependent Session Types. PPDP 2021: 3:1-3:3 - Stephen Wolfram:
The Computational Structure of Programs and the Universe. PPDP 2021: 2:1 - David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Towards Elastic Incrementalization for Datalog. PPDP 2021: 20:1-20:16 - Ugo de'Liguoro, Riccardo Treglia:
Intersection types for a λ-calculus with global store. PPDP 2021: 5:1-5:11 - Niccolò Veltri, Nick Benton, Silvia Ghilezan:
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM 2021, ISBN 978-1-4503-8689-0 [contents] - 2020
- Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Machinery of Interaction. PPDP 2020: 4:1-4:15 - Franco Barbanera, Ugo de'Liguoro:
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. PPDP 2020: 2:1-2:3 - Pablo Barenbaum, Eduardo Bonelli:
Rewrites as Terms through Justification Logic. PPDP 2020: 11:1-11:13 - Luca Ciccone, Luca Padovani:
A Dependently Typed Linear π-Calculus in Agda. PPDP 2020: 8:1-8:14 - Ankush Das, Frank Pfenning:
Verified Linear Session-Typed Concurrent Programming. PPDP 2020: 7:1-7:15 - Paul Downen, Zena M. Ariola:
A Computational Understanding of Classical (Co)Recursion. PPDP 2020: 5:1-5:13 - Maribel Fernández, János Varga:
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP 2020: 10:1-10:14 - Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick:
Proof-Carrying Plans: a Resource Logic for AI Planning. PPDP 2020: 14:1-14:13 - Maja H. Kirkeby, Robert Glück:
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. PPDP 2020: 9:1-9:14 - Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz:
Continuous Verification of Machine Learning: a Declarative Programming Approach. PPDP 2020: 1:1-1:3 - Beidi Li, Jochen Teizer, Carl Schultz:
Non-monotonic Spatial Reasoning for Safety Analysis in Construction. PPDP 2020: 16:1-16:12 - Dylan McDermott, Maciej Piróg, Tarmo Uustalu:
Degrading Lists. PPDP 2020: 6:1-6:14 - Abhiroop Sarkar, Mary Sheeran:
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. PPDP 2020: 12:1-12:16 - Mallku Soldevila, Beta Ziliani, Daniel Fridlender:
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. PPDP 2020: 13:1-13:14 - Dimitrios Vytiniotis:
Declarative abstractions for tensor program partitioning. PPDP 2020: 3:1 - Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher:
Moulinog: A Generator of Random Student Assignments Written in Prolog. PPDP 2020: 15:1-15:5 - PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020. ACM 2020, ISBN 978-1-4503-8821-4 [contents]
- 2019
- Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. PPDP 2019: 11:1-11:15 - Andreas Abel, Christian Sattler:
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. PPDP 2019: 3:1-3:12
