PPDP'19: PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
PROGRAM

Days: Monday, October 7th Tuesday, October 8th Wednesday, October 9th

Monday, October 7th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: PPDP Invited Talk
09:00
Semantic Foundations for Gradual Typing (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 2: Lambda Calculus and Type Theory
10:30
Exception Handling and Classical Logic (abstract)
11:00
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus (abstract)
11:30
Crumbling Abstract Machines (abstract)
12:00
Sharing Equality is Linear (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 3: Term Rewriting
14:00
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (abstract)
14:30
Generic Encodings of Constructor Rewriting Systems (abstract)
15:00-15:30Coffee Break
15:30-17:00 Session 4: Programming Language Semantics
15:30
Intrinsically-Typed Mechanized Semantics for Session Types (abstract)
16:00
Exponential Elimination for Bicartesian Closed Categorical Combinators (abstract)
16:30
An Adequate While-Language for Hybrid Computation (abstract)
Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 5: UTP Keynote
09:00
A Calculus for Concurrent and Sequential Programming (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 6: Programming Languages and Compilers
10:30
Relational Symbolic Execution (abstract)
11:00
Under Control: Compositionally Correct Closure Conversion with Mutable State (abstract)
11:30
TopHat: A formal foundation for task-oriented programming (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 7: PPDP and LOPSTR invited talk
14:00
10 Years of the Higher-Order Model Checking Project (abstract)
15:00-15:30Coffee Break
15:30-17:00 Session 8: Functional and Logic Programming
15:30
Functional Reactive Programming, restated (abstract)
16:00
Functional programming with lambda-tree syntax (abstract)
16:30
Spacetime Programming: A Synchronous Language for Composable Search Strategies (abstract)
Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

10:00-10:30Coffee Break
10:30-12:30 Session 10: Applications
10:30
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (abstract)
11:00
Smart Contracts as Authorized Production Rules (abstract)
11:30
Type-Driven Verification of Extra-Functional Properties (abstract)
12:00
Property-Based Testing via Proof Reconstruction (abstract)
12:30-14:00Lunch Break
15:00-15:30Coffee Break