David Terei

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Functional Programming

Garbage Collection

Web Applications

Top Venues

Publications

Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum
Towards Practical Default-On Multi-Core Record/Replay. ASPLOS (2017)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25 (4-5) (2017)
David Terei, Amit A. Levy
Blade: A Data Center Garbage Collector. CoRR (2015)
David Terei, Alex Aiken, Jan Vitek
: high-performance memory management from off-the-shelf components. ISMM (2014)
Amit A. Levy, David Terei, Deian Stefan, David Mazières
Demo proposal: making web applications -XSafe. Haskell (2014)
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS (2013)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe haskell. Haskell (2012)
Adam Belay, Andrea Bittau, Ali José Mashtizadeh, David Terei, David Mazières, Christos Kozyrakis
Dune: Safe User-level Access to Privileged CPU Features. OSDI (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe Haskell. Tiny Trans. Comput. Sci. 1 (2012)