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
Sun 22 Oct 2023
Mon 23 Oct 2023
Rooms
Oceanus
Room VII
Tracks
PPDP
Badges
Keynote
Your Program
Nothing to filter
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 | ||