EGRAPHS 2023 session + Cranelift talk · cranelift

Stream: cranelift

Topic: EGRAPHS 2023 session + Cranelift talk

Chris Fallin (Jun 18 2023 at 13:14):

Hi all -- in about 25 minutes the EGRAPHS 2023 workshop is going to start; I'm giving a talk at 2pm EDT (19:00 UTC) about Cranelift's aegraphs implementation. There is a free YouTube livestream here: YouTube - PLDI'23 EGRAPHS Sunday Magnolia18

Chris Fallin (Jun 18 2023 at 13:14):

(cc @fitzgen (he/him) @Jamey Sharp @Trevor Elliott and anyone else who's expressed interest...)

Chris Fallin (Jun 18 2023 at 13:20):

The program is here: https://pldi23.sigplan.org/home/egraphs-2023#program

EGRAPHS 2023 - E-Graph Research, Applications, Practices, and Human-factors Symposium - PLDI 2023

Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more. The second EGRAPHS workshop will bring toge ...

Chris Fallin (Jun 18 2023 at 14:44):

(edit: 2pm EDT is 18:00 UTC; daylight savings etc etc)

Amanieu (Jun 18 2023 at 14:49):

@Chris Fallin The livestream has no audio.

Chris Fallin (Jun 18 2023 at 14:51):

I'll let the AV person know at the break, thanks

Chris Fallin (Jun 18 2023 at 15:17):

@Amanieu the AV folks are actively debugging it seems

Juan Bono (Jun 18 2023 at 18:51):

Thanks for sharing! This is awesome

Chris Fallin (Jun 18 2023 at 19:14):

stream was no good and I had to steal the projector HDMI directly; sorry all. Will post slides later at least!

Chris Fallin (Jun 19 2023 at 21:41):

To close the loop here: slides are up at https://cfallin.org/pubs/egraphs2023_aegraphs_slides.pdf. Unfortunately no recording of the talk exists; if I ever give it again in some context I'll be sure to make a recording :-)

Olivier FAURE (Aug 08 2023 at 17:39):

Going from the slides alone, all the PLDI talks about egraphs sound really interesting!

Olivier FAURE (Aug 08 2023 at 17:39):

Is there any way to access videos of them? The one livestream video has no sound.

Chris Fallin (Aug 08 2023 at 18:07):

The livestream setup had issues and they eventually shut off the setup; but I recorded a video later from home of my talk at least: Vimeo - ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler

Last updated: Oct 23 2024 at 20:03 UTC