EGRAPHS 2025 Contributors

Mon 16 - Fri 20 June 2025 Seoul, South Korea

co-located with PLDI 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Alex AikenAiken, Alex Stanford UniversityUnited States Incremental Equality Saturation
C Alejandro Luque CerpaCerpa, Alejandro Luque Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
Jianyi ChengCheng, Jianyi University of Edinburgh, UKUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Committee Member in Program Committee within the EGRAPHS-track
D Julien de Castelnaude Castelnau, Julien EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Giovanni De MicheliDe Micheli, Giovanni EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Bjorn De SutterDe Sutter, Bjorn Ghent University, Belgium Belgium eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Theo DraneDrane, Theo AMD Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Benjamin DriscollDriscoll, Benjamin Stanford University Incremental Equality Saturation
F Chris FallinFallin, Chris F5United States Committee Member in Program Committee within the EGRAPHS-track
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
G Tobias GrosserGrosser, Tobias University of CambridgeUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Loke GustafssonGustafsson, Loke Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
H Cong "Callie" HaoHao, Cong "Callie" Georgia Institute of Technology Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Oren HechtHecht, Oren Technion Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Machine Learning Guided Equality Saturation
Barak HirshbergHirshberg, Barak Tel Aviv University Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
I Hiromi IshiiIshii, Hiromi Jij, Inc.Japan Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
J Ruyi JiJi, Ruyi Peking UniversityChina Equality Saturation Guided by Large Language Models
K Thomas KoehlerKoehler, Thomas CNRS - ICube LabFrance Machine Learning Guided Equality Saturation Committee Member in Program Committee within the EGRAPHS-track
L Alexandre LopoukhineLopoukhine, Alexandre University of CambridgeUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
M Erik MagnussonMagnusson, Erik Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
Jules MerckxMerckx, Jules Ghent University eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
N Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the EGRAPHS-track
P Hila PelegPeleg, Hila TechnionIsrael Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Wentao PengPeng, Wentao Peking University Equality Saturation Guided by Large Language Models
S Taro ShimizuShimizu, Taro Jij, Inc. Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Rupanshu SoiSoi, Rupanshu Stanford University Incremental Equality Saturation
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Machine Learning Guided Equality Saturation
T Toshiki TeramuraTeramura, Toshiki Jij, Inc. Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Samuel ThomasThomas, Samuel The University of Texas at Austin, Texas, USA Hatching Theory Instantiations with Yardbird
V Cole VickVick, Cole University of Texas at Austin Hatching Theory Instantiations with Yardbird
W Ke WangWang, Ke Visa ResearchUnited States Incremental Equality Saturation
Yisu Remy WangWang, Yisu Remy University of California, Los AngelesUnited States Destructive E-Graph Rewrites
Andy WannaWanna, Andy Georgia Institute of Technology Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Max WillseyWillsey, Max UC BerkeleyUnited States Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track
X Yingfei XiongXiong, Yingfei Peking UniversityChina Equality Saturation Guided by Large Language Models
Y Mingfei YuYu, Mingfei EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Z Paul ZhangZhang, Paul University of California, Los Angeles Destructive E-Graph Rewrites
Philip ZuckerZucker, Philip DraperUnited States Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching Committee Member in Program Committee within the EGRAPHS-track