2018-10-26: Conor McBride (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Conor McBride (MSP)

Syrup: circuits with memory

Abstract

By way of giving CS106 students better tools to tackle the concept of memory in circuits, I implemented a small programming language called (for reasons which are unlikely to become clear) Syrup. Syrup is suspiciously like a dialect of Haskell, except that the blessed monad allows bits of state. Marking homework done in Syrup necessitates checking whether two circuits have the same externally observable behaviour, which makes it a matter of bisimulation. I'll talk a bit about how much fun it was implementing the decision procedure to find either a bisimulation or a countermodel (for purposes of decent feedback).

2018-10-26 16:00:00 UTC
LT1310