PEPM 2020 Contributors

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (39)

A Rodin AarssenAarssen, Rodin CWI, NetherlandsNetherlands High-Fidelity Metaprogramming with Separator Syntax Trees
Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the PEPM-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Committee Member in Program Committee within the PEPM-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the PEPM-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Session Chair of Keynote Talk 2 (part of PEPM) Session Chair of Opening & Keynote Talk 1 (part of PEPM) Opening Co-chair in PC Chairs within the PEPM-track Co-chair in Program Committee within the PEPM-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the PEPM-track
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the PEPM-track
C Jacques CaretteCarette, Jacques McMaster UniversityCanada GOOL: A Generic Object-Oriented Language
D Olivier DanvyDanvy, Olivier Yale-NUS College, SingaporeSingapore Committee Member in Program Committee within the PEPM-track
F Xinyu FengFeng, Xinyu Nanjing UniversityChina Reasoning about Progress of Concurrent Objects
Nate FosterFoster, Nate Cornell UniversityUnited States Network Verification: Past, Present, and Future
G Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the PEPM-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the PEPM-track
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the PEPM-track
H Zechen HouHou, Zechen East China Normal University Symbolic Bisimulation for Open and Parameterized System
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Session Chair of Opening & Keynote Talk 1 (part of PEPM) Opening Co-chair in PC Chairs within the PEPM-track Co-chair in Program Committee within the PEPM-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of Sessions 3 & 4 (part of PEPM) Dependently-Typed Multi-Stage Programming Revisited (invited talk)
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Committee Member in Program Committee within the PEPM-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Module Generation without Regret
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Session Chair of Sessions 1 & 2 (part of PEPM) Frex: Free extensions for normalisation by evaluation (invited talk)
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the PEPM-track
M Brooks MacLachlanMacLachlan, Brooks McMaster University GOOL: A Generic Object-Oriented Language
Eric MadelaineMadelaine, Eric INRIA Symbolic Bisimulation for Open and Parameterized System
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the PEPM-track
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Committee Member in Program Committee within the PEPM-track
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Committee Member in Program Committee within the PEPM-track
P Jens PalsbergPalsberg, Jens University of California, Los Angeles Committee Member in Program Committee within the PEPM-track
Álvaro García PerezPerez, Álvaro García IMDEA Software Institute Committee Member in Program Committee within the PEPM-track
S João SaraivaSaraiva, João University of Minho, Portugal Committee Member in Program Committee within the PEPM-track
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan An approach to generating text-based IDEs with syntax completion from syntax specification
Yuhi SatoSato, Yuhi University of Tsukuba Module Generation without Regret
Tom SchrijversSchrijvers, Tom KU Leuven Committee Member in Program Committee within the PEPM-track
Spencer SmithSmith, Spencer McMaster University, Computing and Software DepartmentCanada GOOL: A Generic Object-Oriented Language
Eijiro SumiiSumii, Eijiro Tohoku University Committee Member in Program Committee within the PEPM-track
T Walid TahaTaha, Walid Session Chair of Sessions 1 & 2 (part of PEPM) Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) Committee Member in Program Committee within the PEPM-track
V Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands High-Fidelity Metaprogramming with Separator Syntax Trees
W Takahisa WatanabeWatanabe, Takahisa University of Tsukuba, Japan Module Generation without Regret
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Session Chair of Sessions 3 & 4 (part of PEPM)
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in Program Committee within the PEPM-track