SPLASH 2023 (series) / PPDP 2023 (series) /
PPDP 2023 Program
This is the PPDP 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 5mOther | Opening of PPDP PPDP | ||
09:05 25mPaper | A Calculus of Delayed Reductions PPDP | ||
09:30 30mPaper | Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators PPDP Kazuki Ikemori Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology | ||
10:00 30mPaper | Comprehending queries over finite maps PPDP Wilmer Ricciotti University of Edinburgh, UK |
11:00 - 12:30 | |||
11:00 90mKeynote | Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying FrameworkKeynote PPDP Delia Kesner Université Paris Cité - CNRS - IRIF; Institut Universitaire de France |
14:00 - 15:30 | |||
14:00 90mTalk | 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? PPDP Andrew Kennedy Meta London, Nick Benton Meta London, Jonas Jensen Semmle, Pierre-Evariste Dagand IRIF / CNRS |
16:00 - 17:30 | |||
16:00 30mPaper | Type-directed Program Transformation for Constant-Time Enforcement PPDP | ||
16:30 30mPaper | Data-Dependent Confidentiality in DCR Graphs PPDP Eduardo Geraldo , João Costa Seco NOVA-LINCS; Nova University of Lisbon, Thomas T. Hildebrandt University of Copenhagen | ||
17:00 30mBreak | --- PPDP |
Mon 23 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 30mPaper | Multicompatibility for Multiparty-Session Composition PPDP Franco Barbanera , Mariangiola Dezani Università di Torino, Lorenzo Gheri University of Liverpool, Nobuko Yoshida University of Oxford | ||
09:30 30mPaper | Termination in Concurrency, Revisited PPDP Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen | ||
10:00 30mPaper | Polymorphic Typestate for Session Types PPDP |
11:00 - 12:30 | |||
11:10 60mKeynote | Unification modulo equational theories in languages with binding operators PPDP Maribel Fernandez King's College London |
14:00 - 15:30 | |||
14:00 30mPaper | Strongly-Typed Multi-View Stack-Based Computations PPDP | ||
14:30 30mPaper | Closure Conversion in Little Pieces PPDP Zachary Sullivan University of Oregon, Paul Downen University of Massachusetts Lowell, Zena M. Ariola University of Oregon | ||
15:00 30mPaper | Additive Cellular Automata Graded-Monadically PPDP |
16:00 - 17:30 | |||
16:00 30mPaper | Intuitionistic Metric Temporal Logic PPDP Luiz de Sá , Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Frank Pfenning Carnegie Mellon University, USA | ||
16:30 30mPaper | stablekanren: Integrating Stable Model Semantics with miniKanren PPDP | ||
17:00 30mOther | Closing of PPDP PPDP |