David Terei

According to our database, David Terei authored at least 9 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Towards Practical Default-On Multi-Core Record/Replay.

Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Control, performance and safety in programming languages.

David Terei

PhD thesis, 2016

2015

Blade: A Data Center Garbage Collector.

David Terei, Amit A. Levy

CoRR, 2015

2014

M³: high-performance memory management from off-the-shelf components.

David Terei, Alex Aiken, Jan Vitek

Proceedings of the International Symposium on Memory Management, 2014

Demo proposal: making web applications -XSafe.

Amit A. Levy, David Terei, Deian Stefan, David Mazières

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

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

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Safe Haskell.

David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières

Tiny Trans. Comput. Sci., 2012

Dune: Safe User-level Access to Privileged CPU Features.

Adam Belay, Andrea Bittau, Ali José Mashtizadeh, David Terei, David Mazières, Christos Kozyrakis

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012