David Terei, Simon Marlow, Simon Peyton Jones,
and David Mazières.
In Proceedings of the 5th
Symposium on Haskell, pages 137-148, September
2012. [Nominated by SIGPLAN for an ACM
Security and the Average Programmer.
Daniel Giffin, Stefan Heule, David Mazières, John
Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei and
In Proceedings of the 3rd Conference on Principles of Security and Trust, April 2014.
Canary: A Scheduling Architecture for High Performance Cloud Computing.
Hang Qu, Omid Mashayekhi, David Terei and Philip Levis.
Compute Research Repository, February 2016.
Blade: A Data Center Garbage Collector.
David Terei and Amit Levy.
Compute Research Repository, April 2015.