Design and Implementation of Concurrent C0

Max Willsey

Senior Honors Thesis, May 2016

pdf
poster
slides
benchmarks

Designated as Exemplary Thesis by the senior thesis award committee

BibTeX

@mastersthesis{cc0-thesis,
  type   = {Undergraduate Honors Thesis},
  author = {Max Willsey},
  title  = {Design and Implementation of Concurrent {C0}},
  year   = {2016},
}

Abstract

Concurrent C0 is a type-safe, C-like language with session-typed communication that makes writing highly concurrent, message passing programs easier, safer, and more efficient than other languages. Concurrent C0 presents a novel interpretation of a forwarding operation which allows channels to be combined in a well-defined way. We provide C- and Go-based implementations with language based optimizations that outperform traditional message passing techniques.