Skip to main content

and
  1. Chapter and Conference Paper

    Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

    Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the programmer from reaso...

    Nalini Vasudevan, Olivier Tardieu, Julian Dolby in Compiler Construction (2009)