BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Computer Architect's Attempt at Using Type Theoretic Concepts to
  Model Branch Predictors - Karl Mose (University of Cambridge)
DTSTART:20250506T120000Z
DTEND:20250506T130000Z
UID:TALK231085@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:In this talk\, I will introduce PIOUS\, a custom domain-specif
 ic language I'm developing to describe predictor microarchitectures. I'll 
 share key design decisions behind the language and reflect on insights I'v
 e gained about functional programming and type systems during its developm
 ent\, from the perspective of someone who's not from a type-theoretic back
 ground (expect some butchering of terms!). I'll give a brief overview of b
 ranch predictors and cover an earlier attempt to generalise them into a la
 nguage framework. After discussing the limitations of earlier approaches\,
  I'll present how PIOUS leverages type systems and the power of indexed mo
 nads to describe predictors effectively.\n\nWhile I'm not from a type theo
 retic background\, this talk should be interesting to those curious about 
 practical applications of type theory to other fields.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR