About Tervel

Invited Talks

  • ``Tervel: A Framework for Implementing Wait-Free Algorithms '', SRI International, Menlo Park, CA, May 2015
  • TBD, Lockheed Martin Webinar Series, August 2015

Code developed by the Tervel team has been requested by and provided to the following institutions:

Projects Using Tervel

If you'd like your project listed here, please let us know!