- ``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!