Design and Implementation of Concurrent C0

Senior Honors Thesis, May 2016
Designated as Exemplary Thesis by the senior thesis award committee
  type   = {Undergraduate Honors Thesis},
  author = {Max Willsey},
  title  = {Design and Implementation of Concurrent {C0}},
  year   = {2016},


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.