Dune: Safe User-level Access to Privileged CPU Features. - Adam Belay; Andrea Bittau; Ali José Mashtizadeh; David Terei; David Mazières; Christos Kozyrakis (OSDI, 2012)

Safe Haskell. - David Terei; Simon Marlow; Simon L. Peyton Jones; David Mazières (Adv. Math. Commun., 2012)

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. - Deian Stefan; Pablo Buiras; Edward Z. Yang; Amit Levy; David Terei; Alejandro Russo; David Mazières (ESORICS, 2013)

Demo proposal: making web applications -XSafe. - Amit A. Levy; David Terei; Deian Stefan; David Mazières (Haskell, 2014)

M3: high-performance memory management from off-the-shelf components. - David Terei; Alex Aiken; Jan Vitek (ISMM, 2014)

Blade: A Data Center Garbage Collector. - David Terei; Amit A. Levy (CoRR, 2015)

Control, performance and safety in programming languages. - David Terei (2016)

Towards Practical Default-On Multi-Core Record/Replay. - Ali José Mashtizadeh; Tal Garfinkel; David Terei; David Mazières; Mendel Rosenblum (ASPLOS, 2017)

Hails: Protecting data privacy in untrusted web applications. - Daniel B. Giffin; Amit Levy; Deian Stefan; David Terei; David Mazières; John C. Mitchell; Alejandro Russo (J. Comput. Secur., 2017)