PPDP 2023 Contributors

Sun 22 - Mon 23 October 2023 Cascais, Portugal

co-located with SPLASH 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Zena M. AriolaAriola, Zena M. University of OregonUnited States Closure Conversion in Little Pieces
B Ajay BansalBansal, Ajay stablekanren: Integrating Stable Model Semantics with miniKanren
Franco BarbaneraBarbanera, Franco Multicompatibility for Multiparty-Session Composition
Nick BentonBenton, Nick Meta London 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Frédéric BessonBesson, Frédéric Type-directed Program Transformation for Constant-Time Enforcement
C Silvio CapobiancoCapobianco, Silvio Additive Cellular Automata Graded-Monadically
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Data-Dependent Confidentiality in DCR Graphs
D Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Luiz de Sáde Sá, Luiz Intuitionistic Metric Temporal Logic
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Session Chair of Session 5 (part of PPDP)
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Multicompatibility for Multiparty-Session Composition
Paul DownenDownen, Paul University of Massachusetts LowellUnited States Closure Conversion in Little Pieces
E Santiago EscobarEscobar, Santiago Session Chair of Session 4 (part of PPDP) Session Chair of Session 2 (part of PPDP) Session Chair of Session 6 (part of PPDP) Session Chair of Session 3 (part of PPDP) Session Chair of Session 8 (part of PPDP) Session Chair of Session 7 (part of PPDP) Opening of PPDP
F Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Unification modulo equational theories in languages with binding operators
G Eduardo GeraldoGeraldo, Eduardo Data-Dependent Confidentiality in DCR Graphs
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom Multicompatibility for Multiparty-Session Composition
Xiangyu GuoGuo, Xiangyu Arizona State University stablekanren: Integrating Stable Model Semantics with miniKanren
H Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Session 1 (part of PPDP)
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Data-Dependent Confidentiality in DCR Graphs
I Kazuki IkemoriIkemori, Kazuki Tokyo Institute of Technology Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
J Jonas JensenJensen, Jonas Semmle 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Thomas P. JensenJensen, Thomas P. INRIA Rennes Type-directed Program Transformation for Constant-Time Enforcement
K Andrew KennedyKennedy, Andrew Meta LondonUnited Kingdom 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying Framework
Pieter KoopmanKoopman, Pieter Radboud University Nijmegen, NetherlandsNetherlands Strongly-Typed Multi-View Stack-Based Computations
L Mart LubbersLubbers, Mart Radboud University Nijmegen Strongly-Typed Multi-View Stack-Based Computations
M Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
N Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Termination in Concurrency, Revisited
P Joseph PaulusPaulus, Joseph Termination in Concurrency, Revisited
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Intuitionistic Metric Temporal Logic
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Termination in Concurrency, Revisited
R Gautier RaimondiRaimondi, Gautier Inria Type-directed Program Transformation for Constant-Time Enforcement
Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Comprehending queries over finite maps
S Hannes SaffrichSaffrich, Hannes University of Freiburg Polymorphic Typestate for Session Types
James SmithSmith, James stablekanren: Integrating Stable Model Semantics with miniKanren
Zachary SullivanSullivan, Zachary University of Oregon Closure Conversion in Little Pieces
T Peter ThiemannThiemann, Peter University of Freiburg, Germany Polymorphic Typestate for Session Types
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Intuitionistic Metric Temporal Logic
Emma TyeTye, Emma A Calculus of Delayed Reductions
U Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Additive Cellular Automata Graded-Monadically
V Steffen van Bakelvan Bakel, Steffen A Calculus of Delayed Reductions
W Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom A Calculus of Delayed Reductions
Y Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Multicompatibility for Multiparty-Session Composition