PEPM 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Muhammad AbdullahAbdullah, Muhammad MIT Collapsing Towers for Side-Channel Security (Short Paper)
Hinano AkiyamaAkiyama, Hinano Ochanomizu University Algebraic Stepper for Simple Modules
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Co-chair in Chairs within the PEPM-track
Nada AminAmin, Nada Harvard UniversityUnited States Collapsing Towers for Side-Channel Security (Short Paper) Committee Member in Program Committee Members within the PEPM-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Program Committee Members within the PEPM-track
Kazuyuki AsadaAsada, Kazuyuki Tohoku University Characterizations of Partial Well-Behaved Lenses
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Types and meta theory (part of PEPM) Algebraic Stepper for Simple Modules
Robert AtkeyAtkey, Robert University of Strathclyde Type-Sensitive Algebraic Macros (Short Paper)
B Benjamin BennetzenBennetzen, Benjamin Department of Computer Science, Aalborg University A Type Safe Calculus for Generating Syntax-Directed Editors
William J. BowmanBowman, William J. University of British ColumbiaCanada The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk) Semantics-based program manipulation in the age of LLMs
Greg BrownBrown, Greg University of Edinburgh A Fuelled Self-Reducer for System T (Short Paper)
C Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee Members within the PEPM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Collapsing Towers for Side-Channel Security (Short Paper)
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee Members within the PEPM-track
E Sune Skaanning EngtorpEngtorp, Sune Skaanning Department of Computer Science, University of Copenhagen A Type Safe Calculus for Generating Syntax-Directed Editors
G April GonçalvesGonçalves, April University of Strathclyde Type-Sensitive Algebraic Macros (Short Paper)
H Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Language design, pedagogical tool, and staged interpreter (part of PEPM)
Keishi HASHIBAHASHIBA, Keishi The University of OsakaJapan Characterizations of Partial Well-Behaved Lenses
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Program Committee Members within the PEPM-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Program Committee Members within the PEPM-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee Members within the PEPM-track
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark A Type Safe Calculus for Generating Syntax-Directed Editors
J Barry JayJay, Barry Typed Program Analysis without Encodings
K Chantal KellerKeller, Chantal Université Paris SaclayFrance Committee Member in Program Committee Members within the PEPM-track
Kentaro KikuchiKikuchi, Kentaro Tohoku University Characterizations of Partial Well-Behaved Lenses
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology Committee Member in Program Committee Members within the PEPM-track
L Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Session Chair of High-level abstraction and automation (part of PEPM) Semantics-based program manipulation in the age of LLMs Committee Member in Program Committee Members within the PEPM-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Session Chair of Macros, lenses, and LLMs (part of PEPM) Welcome Farewell Co-chair in Chairs within the PEPM-track
M Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark Committee Member in Program Committee Members within the PEPM-track
Andreas Tor MortensenMortensen, Andreas Tor Department of Computer Science, Aalborg University A Type Safe Calculus for Generating Syntax-Directed Editors
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Characterizations of Partial Well-Behaved Lenses
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee Members within the PEPM-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract) Semantics-based program manipulation in the age of LLMs
R Martin RinardRinard, Martin MIT Committee Member in Program Committee Members within the PEPM-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Program Committee Members within the PEPM-track
Nikolaj Rossander KristensenRossander Kristensen, Nikolaj Department of Computer Science, Aalborg University A Type Safe Calculus for Generating Syntax-Directed Editors
S João SaraivaSaraiva, João Committee Member in Program Committee Members within the PEPM-track
Satnam SinghSingh, Satnam GroqUnited States The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract) Semantics-based program manipulation in the age of LLMs
Peter Buus SteffensenSteffensen, Peter Buus Department of Computer Science, Aalborg University A Type Safe Calculus for Generating Syntax-Directed Editors
V Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Program Committee Members within the PEPM-track
W Cameron WongWong, Cameron Harvard SEAS Collapsing Towers for Side-Channel Security (Short Paper)
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee Members within the PEPM-track
Mengjia YanYan, Mengjia MIT Collapsing Towers for Side-Channel Security (Short Paper)
Yuheng YangYang, Yuheng MIT Collapsing Towers for Side-Channel Security (Short Paper)