EGRAPHS 2022 Contributors

Mon 20 - Fri 24 June 2022 San Diego, California, United States

co-located with PLDI 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

B Benoit BaudryBaudry, Benoit KTHSweden Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
Siddharth BhatBhat, Siddharth the University of Edinburgh Equality Saturation as a Tactic for Proof Assistants
Ian BriggsBriggs, Ian University of Utah Synthesizing Mathematical Identities with E-graphs
C Javier Cabrera ArteagaCabrera Arteaga, Javier KTH Royal Institute of Technology Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
George A. ConstantinidesConstantinides, George A. Imperial College London, UK Abstract Interpretation on E-Graphs
Samuel CowardCoward, Samuel Imperial College London, UK Abstract Interpretation on E-Graphs
D Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. Committee Member in Program Committee within the EGRAPHS-track
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands ECTAs: E-Graphs Better (at Encoding)
Theo DraneDrane, Theo Intel Corporation, USA Abstract Interpretation on E-Graphs
F Nicholas FitzgeraldFitzgerald, Nicholas Fastly Inc. Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
G Andrés GoensGoens, Andrés the University of Edinburgh Equality Saturation as a Tactic for Proof Assistants
Peter GoodmanGoodman, Peter Trail of Bits On the Optimization of Equivalent Concurrent Computations
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Towards Optimising Certified Programs by Proof Rewriting
Zheng GuoGuo, Zheng University of California, San Diego ECTAs: E-Graphs Better (at Encoding)
H Altan HaanHaan, Altan OctoML E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
I Shachar ItzhakyItzhaky, Shachar TechnionIsrael Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing
K Spencer KingKing, Spencer Unaffiliated QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs
Thomas KoehlerKoehler, Thomas University of GlasgowUnited Kingdom Sketch-Guided Equality Saturation
James KoppelKoppel, James Massachusetts Institute of Technology, USA E-Graphs, VSAs, and Tree Automata: a Rosetta Stone ECTAs: E-Graphs Better (at Encoding)
Lukáš KorenčikKorenčik, Lukáš Trail of Bits On the Optimization of Equivalent Concurrent Computations
L Henrich LaukoLauko, Henrich Trail of Bits On the Optimization of Equivalent Concurrent Computations
M Jedidiah McClurgMcClurg, Jedidiah Colorado School of MinesUnited States Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
N Chandrakana NandiNandi, Chandrakana Certora, inc.United States Session Chair of Applications (part of EGRAPHS) Committee Member in Program Committee within the EGRAPHS-track
P Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Synthesizing Mathematical Identities with E-graphs
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google Committee Member in Program Committee within the EGRAPHS-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States ECTAs: E-Graphs Better (at Encoding) Committee Member in Program Committee within the EGRAPHS-track
Josh PollockPollock, Josh MIT CSAILUnited States E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
R Andrew ReynoldsReynolds, Andrew University of IowaUnited States Committee Member in Program Committee within the EGRAPHS-track
S Jordan SchmergeSchmerge, Jordan Colorado School of Mines Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
Ilya SergeySergey, Ilya National University of SingaporeSingapore Towards Optimising Certified Programs by Proof Rewriting
Eytan SingherSingher, Eytan Technion - Israel Institute of Technology Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology ECTAs: E-Graphs Better (at Encoding)
Rebecca SwordsSwords, Rebecca UnaffiliatedUnited States Quiche: A Python Implementation of E-Graphs
T Zachary TatlockTatlock, Zachary University of WashingtonUnited States Session Chair of Extensions (part of EGRAPHS) Committee Member in Organizing Committee within the EGRAPHS-track
U Ecenur UstunUstun, Ecenur Cornell UniversityUnited States Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation
V Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in Program Committee within the EGRAPHS-track
Jake VossenVossen, Jake Colorado School of Mines Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
W Yisu Remy WangWang, Yisu Remy University of WashingtonUnited States E-Graphs, VSAs, and Tree Automata: a Rosetta Stone Committee Member in Program Committee within the EGRAPHS-track
Max WillseyWillsey, Max University of WashingtonUnited States Session Chair of Opening (part of EGRAPHS) Session Chair of Thinking Alike (part of EGRAPHS) Welcome Committee Member in Organizing Committee within the EGRAPHS-track
Y Jiaqi YinYin, Jiaqi University of Utah Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation
Z Yihong ZhangZhang, Yihong University of WashingtonUnited States Chasing an egg
Zhiru ZhangZhang, Zhiru Cornell University, USA Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation
Philip ZuckerZucker, Philip Draper Laboratory Logging an Egg: Datalog on E-Graphs