The Octoberfest is a noble tradition in category theory: a low-key, friendly conference for researchers to share their work and thoughts. This year it’s on Saturday October 26th and Sunday October ...
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of ...