EGRAPHS 2023 Contributors

Sun 18 Jun 2023 Orlando, Florida, United States

co-located with PLDI 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (34)

A Emmanuel Anaya-GonzalezAnaya-Gonzalez, Emmanuel UCSD Optimizing Beta-Reduction in E-Graphs
C Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Optimizing Stateful Dataflow with Local Rewrites
George A. ConstantinidesConstantinides, George A. Imperial College London, UKUnited Kingdom Automating Constraint-Aware Datapath Optimization using E-Graphs
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Automating Constraint-Aware Datapath Optimization using E-Graphs Committee Member in Program Committee within the EGRAPHS-track
D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States KestRel: Relational Verification using E-Graphs for Program Alignment
Robert DickersonDickerson, Robert Purdue UniversityUnited States KestRel: Relational Verification using E-Graphs for Program Alignment
Haichen DongDong, Haichen Princeton University Improving Term Extraction with Acyclic Constraints
Theo DraneDrane, Theo Intel Corporation, USAUnited States Automating Constraint-Aware Datapath Optimization using E-Graphs
F Chris FallinFallin, Chris FastlyUnited States ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
Oliver FlattFlatt, Oliver University of Washington Ensuring the termination of equality saturation for terminating term rewriting systems egglog In Practice: Automatically Improving Floating-point Error
G Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Partially Complete Quantifier Elimination
Aditya GiridharanGiridharan, Aditya UCSD Optimizing Beta-Reduction in E-Graphs
Hari Govind V KGovind V K, Hari University of Waterloo Partially Complete Quantifier Elimination
Aarti GuptaGupta, Aarti Princeton University Improving Term Extraction with Acyclic Constraints
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Partially Complete Quantifier Elimination
H Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States Improving Term Extraction with Acyclic Constraints
Joseph M. HellersteinHellerstein, Joseph M. University of California, Berkeley Optimizing Stateful Dataflow with Local Rewrites
Tyler HouHou, Tyler University of California, Berkeley Optimizing Stateful Dataflow with Local Rewrites
K Thomas KoehlerKoehler, Thomas INRIAFrance Committee Member in Program Committee within the EGRAPHS-track
Cole KurashigeKurashige, Cole UCSD Optimizing Beta-Reduction in E-Graphs
L Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Optimizing Stateful Dataflow with Local Rewrites
M Sharad MalikMalik, Sharad Princeton University Improving Term Extraction with Acyclic Constraints
N Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the EGRAPHS-track
P Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Optimizing Beta-Reduction in E-Graphs Committee Member in Program Committee within the EGRAPHS-track
Conor PowerPower, Conor University of California at BerkeleyUnited States Optimizing Stateful Dataflow with Local Rewrites
R Eli RosenthalRosenthal, Eli Google E-graph Extraction Using ZDDs
S Saul ShanabrookShanabrook, Saul United States Egg-smol Python: A Pythonic Library for E-graphs
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Partially Complete Quantifier Elimination
T Zachary TatlockTatlock, Zachary University of WashingtonUnited States Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track
V Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in Program Committee within the EGRAPHS-track
W Runji WangWang, Runji RisingWave Labs Building an SQL Optimizer with Egg
Max WillseyWillsey, Max University of WashingtonUnited States Committee Member in Organizing Committee within the EGRAPHS-track PC Chair in Program Committee within the EGRAPHS-track
Z Yihong ZhangZhang, Yihong University of WashingtonUnited States Ensuring the termination of equality saturation for terminating term rewriting systems egglog In Practice: Automatically Improving Floating-point Error
Philip ZuckerZucker, Philip DraperUnited States Committee Member in Program Committee within the EGRAPHS-track