~/talks

Rupanshu Soi

what they talk about

where they keep going back

on a stage with

all 5 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-GraphsEGRAPHS 20262026-06-15
Scheduling Modulo Equality (SME) builds an e-graph via equality saturation and then encodes extraction as an ILP with binary variables XNT and YCT, latency…
Talk on
Rewrite System Showdown: Stochastic Search vs. EqSatEGRAPHS 20262026-06-15
Compares stochastic search (128-thread implementation) to equality saturation (egg/egglog style) across five benchmarks: matrix-chain (optimal known…
Talk on
Incremental Equality SaturationEGRAPHS 20252025-06-16
Introduces an incremental egraph with per–e-class versions and a top-K analysis (K=2) so rewrites only target e-classes created by the current version and…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.