EGRAPHS 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (47)

A Alex AikenAiken, Alex Stanford UniversityUnited States Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
B Johannes BorgströmBorgström, Johannes Uppsala University, SwedenSweden Predicate E-Graphs with Symbolic Conditional Rewriting
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States E-Stitch: Top-Down Library Learning for E-Graphs
Sofia BrookieBrookie, Sofia Chalmers University of Technology E-graphs modulo theories
C Samuel CowardCoward, Samuel University College London (UCL)United Kingdom From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs Committee Member in Program Committee within the EGRAPHS-track
D Remi DelmasDelmas, Remi Amazon Web Services A Semi-Persistent E-Graph with Native AC Canonization and Leapfrog AC Matching.
E Lars-Henrik ErikssonEriksson, Lars-Henrik Uppsala UniversitySweden Predicate E-Graphs with Symbolic Conditional Rewriting
F Marco FrigoFrigo, Marco University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
G Kavi GuptaGupta, Kavi MIT E-Stitch: Top-Down Library Learning for E-Graphs
H Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Augmenting Rewrite Rule Sets via Knuth-Bendix Completion Associativity and Commutativity in Equality Saturation
Marijn HeuleHeule, Marijn Carnegie Mellon University Relational E-matching in an SMT solver
Qiantan HongHong, Qiantan Stanford University Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
Paul HovlandHovland, Paul Argonne National LaboratoryUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Jan HueckelheimHueckelheim, Jan Argonne National Laboratory Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
John HögbergHögberg, John Ericsson Predicate E-Graphs with Symbolic Conditional Rewriting
I Hiromi IshiiIshii, Hiromi JIJJapan Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
Ivan IvanovIvanov, Ivan Institute of Science TokyoJapan Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
J Devansh JainJain, Devansh University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
L Damitha LenadoraLenadora, Damitha University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
Saatvik LochanLochan, Saatvik University of Illinois Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
M Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States CERES: Making Equality Saturation Memory-Scalable
N Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the EGRAPHS-track
P Akash PardeshiPardeshi, Akash University of Illinois at Urbana-ChampaignUnited States CERES: Making Equality Saturation Memory-Scalable
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Relational E-matching in an SMT solver
Q Siyuan Brant QianQian, Siyuan Brant University of Illinois at Urbana-ChampaignUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
R Tarik RosinRosin, Tarik Saarland University Associativity and Commutativity in Equality Saturation
S William S. MosesS. Moses, William University of Illinois Urbana-ChampaignUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Vimarsh SathiaSathia, Vimarsh University of Illinois Urbana ChampaignUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Michael SchiffererSchifferer, Michael Saarland University Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
Ilya SergeySergey, Ilya National University of SingaporeSingapore Answer Set Programming for Egg Extraction and More
Amar ShahShah, Amar Carnegie Mellon UniversityUnited States Relational E-matching in an SMT solver
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
Rupanshu SoiSoi, Rupanshu Stanford University Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States E-Stitch: Top-Down Library Learning for E-Graphs
Michel SteuwerSteuwer, Michel TU BerlinGermany Committee Member in Program Committee within the EGRAPHS-track
Chamika SudusingheSudusinghe, Chamika University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
T Mihir TandonTandon, Mihir University of Illinois Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
Anders Ågren ThunéThuné, Anders Ågren Uppsala University Predicate E-Graphs with Symbolic Conditional Rewriting
U Marcel UllrichUllrich, Marcel Saarland University, Saarland Informatics CampusGermany Augmenting Rewrite Rule Sets via Knuth-Bendix Completion Associativity and Commutativity in Equality Saturation
V Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Committee Member in Program Committee within the EGRAPHS-track
W Tjark WeberWeber, Tjark Uppsala UniversitySweden Predicate E-Graphs with Symbolic Conditional Rewriting
Max WillseyWillsey, Max University of California at BerkeleyUnited States Relational E-matching in an SMT solver Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Predicate E-Graphs with Symbolic Conditional Rewriting
Y Ziyi YangYang, Ziyi National University of SingaporeSingapore Answer Set Programming for Egg Extraction and More
Z Cheng ZhangZhang, Cheng Worcester Polytechnic InstituteUnited States From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
Yihong ZhangZhang, Yihong University of WashingtonUnited States Rewrite System Showdown: Stochastic Search vs. EqSat
Philip ZuckerZucker, Philip DraperUnited States From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs Lifting E-Graphs: A Function Isn’t a Constant Committee Member in Program Committee within the EGRAPHS-track