PEPM 2023 Contributors

Tue 17 Jan 2023 Boston, Massachusetts, United States

co-located with POPL 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Guillaume AllaisAllais, Guillaume University of St AndrewsUnited Kingdom Modular Construction of Multi-sorted Free Extensions
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the PEPM-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Towards a Reflection for Effect Handlers
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Session Chair of 3 talks (part of PEPM) Committee Member in Program Committee within the PEPM-track
Adam D. BarwellBarwell, Adam D. Imperial College London, UK Committee Member in Program Committee within the PEPM-track
Nicolas BiriBiri, Nicolas Input Output Global (IOG) Committee Member in Program Committee within the PEPM-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Session Chair of 2 online talks (part of PEPM) Wrap up PC Chair in Organizing Committee within the PEPM-track
C Jacques CaretteCarette, Jacques McMaster UniversityCanada Symbolic Execution of Hadamard-Toffoli Quantum Circuits
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Committee Member in Program Committee within the PEPM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Fast Cryptographic Code via Partial Evaluation
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Towards a Reflection for Effect Handlers
Nathan CorbynCorbyn, Nathan University of OxfordUnited Kingdom Modular Construction of Multi-sorted Free Extensions
D Cristina DavidDavid, Cristina University of BristolUnited Kingdom Committee Member in Program Committee within the PEPM-track
G Robert GlückGlück, Robert University of CopenhagenDenmark Towards Type Debugging using Partial Evaluation
Denis GurchenkovGurchenkov, Denis MathWorksUnited States MATLAB Coder: Partial Evaluation in Practice
H Jaemin HongHong, Jaemin KAISTSouth Korea Semantic Transformation Framework for Rewriting Rules
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in Program Committee within the PEPM-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Generating Programs for Polynomial Multiplication with Correctness Assurance Committee Member in Program Committee within the PEPM-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Modular Construction of Multi-sorted Free Extensions
L Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Modular Construction of Multi-sorted Free Extensions
M José Nuno MacedoMacedo, José Nuno University of MinhoPortugal Efficient Embedding of Strategic Attribute Grammars via Memoization
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the PEPM-track
O Gerardo OrtizOrtiz, Gerardo Indiana University Symbolic Execution of Hadamard-Toffoli Quantum Circuits
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Session Chair of Keynote + 1 talk (part of PEPM) Wrap up PC Chair in Organizing Committee within the PEPM-track
Jihee ParkPark, Jihee KAISTSouth Korea Semantic Transformation Framework for Rewriting Rules
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the PEPM-track
R Emanuel RodriguesRodrigues, Emanuel HASLab & INESC TEC, University of Minho Efficient Embedding of Strategic Attribute Grammars via Memoization
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Session Chair of Industry presentation + 1 talk (part of PEPM) Semantic Transformation Framework for Rewriting Rules Committee Member in Program Committee within the PEPM-track
S Amr SabrySabry, Amr Indiana UniversityUnited States Symbolic Execution of Hadamard-Toffoli Quantum Circuits
João SaraivaSaraiva, João Efficient Embedding of Strategic Attribute Grammars via Memoization
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the PEPM-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Committee Member in Program Committee within the PEPM-track
Satnam SinghSingh, Satnam GroqUnited States Committee Member in Program Committee within the PEPM-track
Fred SmithSmith, Fred MathWorksUnited States MATLAB Coder: Partial Evaluation in Practice
T Ryo TokudaTokuda, Ryo University of Tsukuba Generating Programs for Polynomial Multiplication with Correctness Assurance
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Towards Type Debugging using Partial Evaluation
V Nachiappan ValliappanValliappan, Nachiappan Chalmers University of TechnologySweden Modular Construction of Multi-sorted Free Extensions
Marcos VieraViera, Marcos University of the Republic, Uruguay Efficient Embedding of Strategic Attribute Grammars via Memoization
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Modular Construction of Multi-sorted Free Extensions
Z Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the PEPM-track