SYSTEMF @ EPFL systemf.epfl.ch

Tracers for debugging and program exploration

systemf.epfl.ch·5w

Automatically generated goal names

systemf.epfl.ch·23w

Practical compositional diagramming

systemf.epfl.ch·31w

Explicit Memory Reclamation in Scala

systemf.epfl.ch·34w

A certificate-based conversion checking algorithm for Rocq?

systemf.epfl.ch·38w

Adding lookbehinds to rust-lang/regex

systemf.epfl.ch·44w·Lobsters, Hacker News, r/programming

Lessons learned from the first edition of a large second-year course in software construction

systemf.epfl.ch·83w

Software optimization for a RISC-V Accelerator

systemf.epfl.ch·86w

Rewriting modulo SAADD for string diagrams

systemf.epfl.ch·88w

Abusing the Instruction Cache to Store Data

systemf.epfl.ch·88w

SpecMerger

systemf.epfl.ch·89w

Adding linear-time lookbehinds to RE2

systemf.epfl.ch·47w·Lobsters, Hacker News, r/programming

Untangling mechanized proofs

systemf.epfl.ch·288w

Recording and editing a talk for an online conference

systemf.epfl.ch·309w

How to write a type-safe unwrap (aka fromJust)

systemf.epfl.ch·309w

Computing with opaque proofs

systemf.epfl.ch·309w

Log in to enable infinite scrolling