PEPM 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (43)

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 Session Chair of High-level abstraction and automation (part of PEPM) Collapsing Towers for Side-Channel Security (Short Paper) Committee Member in Programme Committee within the PEPM-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Programme Committee 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 Programme Committee 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 Programme Committee within the PEPM-track
E Sune Skaaning EngtorpEngtorp, Sune Skaaning 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 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 Programme Committee within the PEPM-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Programme Committee within the PEPM-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Programme Committee 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 Programme Committee 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 Programme Committee within the PEPM-track
L Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Session Chair of Language design, pedagogical tool, and staged interpreter (part of PEPM) Committee Member in Programme Committee within the PEPM-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Session Chair of Macros, lenses, and LLMs (part of PEPM) Farewell Welcome Co-chair in Chairs within the PEPM-track
M Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark Committee Member in Programme Committee 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 Programme Committee within the PEPM-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Semantics-based program manipulation in the age of LLMs A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
R Martin RinardRinard, Martin MIT Committee Member in Programme Committee within the PEPM-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Programme Committee 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 Programme Committee within the PEPM-track
Satnam SinghSingh, Satnam GroqUnited States Semantics-based program manipulation in the age of LLMs The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
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 Programme Committee 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 Programme Committee 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)