tekne.dev

Personal homepage and blog of Jad Ghalayini, a PhD student at the University of Cambridge.

why we picked it

The site documents ongoing doctoral research on categorical semantics for SSA-form compilers, including work on weak memory.

Checked with Google Web Risk · 1 hour ago

Visit tekne.dev ↗ ♡ Save ↻ Surf somewhere else