PEPM 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (49)

A Guillaume AllaisAllais, Guillaume University of St AndrewsUnited Kingdom Committee Member in Program Committee within the PEPM-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Strictly Capturing Non-Strict Closures Committee Member in Program Committee within the PEPM-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan A Functional Abstraction of Typed Trails
Robert AtkeyAtkey, Robert University of Strathclyde Session Chair of Session 3 (part of PEPM) Committee Member in Program Committee within the PEPM-track
Lennart AugustssonAugustsson, Lennart Epic Games Committee Member in Program Committee within the PEPM-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Staged Effects and Handlers for Modular Languages with Abstraction Committee Member in Program Committee within the PEPM-track Committee Member in Steering Committee within the PEPM-track
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State University / JetBrains ResearchRussia Efficient Fair Conjunction for Structurally-Recursive Relations
C Kwanghoon ChoiChoi, Kwanghoon Chonnam National UniversitySouth Korea A Text-based Syntax Completion Method Using LR Parsing
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Session 2 (part of PEPM) A Functional Abstraction of Typed Trails Committee Member in Program Committee within the PEPM-track
D Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Committee Member in Program Committee within the PEPM-track
Paul DownenDownen, Paul University of Oregon, USA Strictly Capturing Non-Strict Closures
G Christian GodiksenGodiksen, Christian Department of Computer Science, Aalborg University A Type-Safe Structure Editor Calculus
H Pat HanrahanHanrahan, Pat Stanford University, USA Hardware DSLs
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Steering Committee within the PEPM-track
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of MadridSpain Committee Member in Steering Committee within the PEPM-track
Thomas HerrmannHerrmann, Thomas Department of Computer Science, Aalborg University A Type-Safe Structure Editor Calculus
Zhenjiang HuHu, Zhenjiang Peking University Committee Member in Steering Committee within the PEPM-track
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark A Type-Safe Structure Editor Calculus
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Steering Committee within the PEPM-track
Chiaki IshioIshio, Chiaki Ochanomizu UniversityJapan A Functional Abstraction of Typed Trails
K Andrei KlimovKlimov, Andrei Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia Committee Member in Program Committee within the PEPM-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia Sinica, Taiwan Committee Member in Steering Committee within the PEPM-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Counterexample Generation for Program Verification based on Ownership Refinement Types
L Mikkel Korup LauridsenLauridsen, Mikkel Korup Department of Computer Science, Aalborg University A Type-Safe Structure Editor Calculus
Julia LawallLawall, Julia Inria Program Manipulation of C Code: From Partial Evaluation to Semantic Patches for the Linux Kernel
Sam LindleyLindley, Sam Heriot-Watt University, UK / The University of Edinburgh, UKUnited Kingdom Session Chair of Keynote 1 (part of PEPM) Session Chair of Keynote 3 (part of PEPM) Committee Member in Steering Committee within the PEPM-track Co-chair in Organizing Committee within the PEPM-track
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Efficient Fair Conjunction for Structurally-Recursive Relations
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Control Flow Obfuscation for Featherweight Java using Continuation Passing
M Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark Session Chair of Session 5 (part of PEPM) Session Chair of Session 1 (part of PEPM) Session Chair of Keynote 2 (part of PEPM) Committee Member in Steering Committee within the PEPM-track Co-chair in Organizing Committee within the PEPM-track
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the PEPM-track
N Antonina NepeivodaNepeivoda, Antonina Program Systems Institute of RAS, RussiaRussia Committee Member in Program Committee within the PEPM-track
O Iman OwliaieOwliaie, Iman Department of Computer Science, Aalborg University A Type-Safe Structure Editor Calculus
R Gabriel RadanneRadanne, Gabriel InriaFrance Committee Member in Program Committee within the PEPM-track
Tiark RompfRompf, Tiark Purdue University Committee Member in Steering Committee within the PEPM-track
S Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan A Text-based Syntax Completion Method Using LR Parsing
Tom SchrijversSchrijvers, Tom KU Leuven Staged Effects and Handlers for Modular Languages with Abstraction
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Steering Committee within the PEPM-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Automatic Differentiation via Effects and Handlers: An Implementation in Frank
Zachary SullivanSullivan, Zachary University of Oregon Strictly Capturing Non-Strict Closures
Eijiro SumiiSumii, Eijiro Tohoku University Committee Member in Program Committee within the PEPM-track
T Akira TanakaTanaka, Akira National Institute of Advanced Industrial Science and Technology (AIST) Coq to C Translation with Partial Evaluation
Matúš TejiščákTejiščák, Matúš Chordify Erasure In Dependently Typed Programming
John TomanToman, John Certora, inc. Counterexample Generation for Program Verification based on Ownership Refinement Types
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Counterexample Generation for Program Verification based on Ownership Refinement Types
U Hideto UenoUeno, Hideto The Univeristy of Tokyo Counterexample Generation for Program Verification based on Ownership Refinement Types
V Cas van der Restvan der Rest, Cas Delft University of Technology Staged Effects and Handlers for Modular Languages with Abstraction
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Program Committee within the PEPM-track
Eelco VisserVisser, Eelco Delft University of Technology Committee Member in Program Committee within the PEPM-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Session Chair of Session 4 (part of PEPM) Committee Member in Program Committee within the PEPM-track Steering Committee Chair in Steering Committee within the PEPM-track