Tag: hardware
- Assembly transformations against side channels by Alexandra Michael (15 April 2024)
- Verilog Programs are Pure Expressions by Gus Smith (19 February 2024)
code-formatting
design
dragon-curves
fabrication
knitting
l-systems
outreach
pluggable-types
pretty-printing
security
side-channels
space
time
type-checking
type-inference
undergraduate-pl
verilog
education
equality-saturation
hardware
program-optimization