Projects and Software Released
Send Me Mail
Certifying Run-Time Code Generation
A certifying compiler supporting RTCG
A programming language and compiler for processing large scale data.
A conservative copying garbage collector.
Kleene Algebra with Tests
An equational system useful for a variety of formal reasoning about programs and protocols.
ICFP 2000 Programming Contest
I was one of the organizers. You can find some cool images