Projects

• async-π
• BibTeX parser and pretty printer in Go
• Go concurrency verification
• High performance parallel design based on session programming
• Multiparty Session C
• Pabble protocol description language