PEPM 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Scoped and Typed Staging by Evaluation
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Towards a Language-parametric DSL for Refactoring (Short Paper)
Daniil BerezunBerezun, Daniil JetBrains Research; Constructor University BremenNetherlands A Case Study in Functional Conversion and Mode Inference in miniKanren
Dines BjørnerBjørner, Dines DTUDenmark The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)
Laura BocchiBocchi, Laura University of KentUnited Kingdom Committee Member in Program Committee within the PEPM-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the PEPM-track
C Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the PEPM-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Program Inversion & DSLs (part of PEPM) One-Pass CPS Translation of Dependent Types (Talk Proposal) An Intrinsically Typed Compiler for Algebraic Effect Handlers Committee Member in Program Committee within the PEPM-track
Andreea CosteaCostea, Andreea National University of SingaporeSingapore Committee Member in Program Committee within the PEPM-track
D Emanuele De AngelisDe Angelis, Emanuele IASI-CNRItaly A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
E Igor EngelEngel, Igor JetBrains Research; Constructor University BremenGermany A Case Study in Functional Conversion and Mode Inference in miniKanren
F Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Ren FukaishiFukaishi, Ren The University of TokyoJapan Productivity Verification for Functional Programs by Reduction to Termination Verification
G Robert GlückGlück, Robert University of CopenhagenDenmark Partial Evaluation of Reversible Flowchart Programs
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Committee Member in Program Committee within the PEPM-track
H Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Session Chair of History of PEPM (part of PEPM) In memoriam Neil Deaton Jones
K Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Session Chair of Types & Staging (part of PEPM) Opening Committee Member in Organizing Committee within the PEPM-track
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan Complete Stream Fusion for Software-Defined Radio
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Ownership Types for Verification of Programs with Pointer Arithmetic Productivity Verification for Functional Programs by Reduction to Termination Verification
Tomoaki KobayashiKobayashi, Tomoaki Tohoku UniversityJapan Complete Stream Fusion for Software-Defined Radio
L Ralf LaemmelLaemmel, Ralf Facebook London Committee Member in Program Committee within the PEPM-track
Xulei LiuLiu, Xulei Delft University of TechnologyNetherlands Towards a Language-parametric DSL for Refactoring (Short Paper)
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Incremental Computation: What Is the Essence? (Invited Contribution)
M Louis Marott NormannMarott Normann, Louis University of CopenhagenDenmark Partial Evaluation of Reversible Flowchart Programs
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan An Intrinsically Typed Compiler for Algebraic Effect Handlers
Kazutaka MatsudaMatsuda, Kazutaka Tohoku UniversityJapan Committee Member in Program Committee within the PEPM-track
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Towards a Language-parametric DSL for Refactoring (Short Paper)
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Committee Member in Program Committee within the PEPM-track
P Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata; IASI-CNRItaly A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Maurizio ProiettiProietti, Maurizio IASI-CNRItaly A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
R Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina From Theory to Practice: Crafting Differential Privacy Systems with Haskell Committee Member in Program Committee within the PEPM-track
S Ken SakayoriSakayori, Ken University of TokyoJapan Ownership Types for Verification of Programs with Pointer Arithmetic
Ryosuke SatoSato, Ryosuke University of TokyoJapan Productivity Verification for Functional Programs by Reduction to Termination Verification
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the PEPM-track
Peter SestoftSestoft, Peter IT University of CopenhagenDenmark The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Committee Member in Program Committee within the PEPM-track
Harald SondergaardSondergaard, Harald The University of MelbourneAustralia The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
T Izumi TanakaTanaka, Izumi University of TokyoJapan Ownership Types for Verification of Programs with Pointer Arithmetic
Syouki TsuyamaTsuyama, Syouki Tokyo Institute of TechnologyJapan An Intrinsically Typed Compiler for Algebraic Effect Handlers
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenSerbia A Case Study in Functional Conversion and Mode Inference in miniKanren
W Meng WangWang, Meng University of BristolUnited Kingdom Session Chair of Keynote & Termination analysis (part of PEPM) Opening Co-chair in Organizing Committee within the PEPM-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the PEPM-track