News
Blog
Projects
People
Colloquia
Meetings
Internal
Get Involved
Tag: program-optimization
The Theoretical Aspect of Equality Saturation (Part II)
by Yihong Zhang (05 February 2024)
The Theoretical Aspect of Equality Saturation (Part I)
by Yihong Zhang (14 November 2023)
Archive
keyword:
accessibility
keyword:
automated-testing
keyword:
code-formatting
keyword:
compiler
keyword:
curry-howard
keyword:
data-reproducibility
keyword:
data-reproduction
keyword:
design
keyword:
differential-equation
keyword:
dragon-curves
keyword:
fabrication
keyword:
floating-point
keyword:
induction
keyword:
inductive-datatypes
keyword:
l-systems
keyword:
open-science
keyword:
oracle-generation
keyword:
outreach
keyword:
polynomial
keyword:
pretty-printing
keyword:
security
keyword:
side-channels
keyword:
space
keyword:
synthesis
keyword:
testing
keyword:
theorem-proving
keyword:
time
keyword:
undergraduate-pl
keyword:
weaving
keyword:
website
keyword:
compilers
keyword:
computer-algebra
keyword:
coq
keyword:
education
keyword:
equality-saturation
keyword:
knitting
keyword:
pluggable-types
keyword:
program-optimization
keyword:
rocq
keyword:
type-checking
keyword:
type-inference
keyword:
verification
keyword:
verilog
keyword:
proof-assistant
keyword:
hardware