引用次数
引用: 546
H-指数: 8
I10-指数 : 8
出版物: 15
Hails: Protecting data privacy in untrusted web applications
Daniel Giffin , Amit Levy , Deian Stefan , David Terei
Journal of Computer Security 25 427 -461
7
2017
Safe haskell
David Terei , Simon Marlow , Simon Peyton Jones , David Mazières
Sigplan Notices 137 -148
39
2012
Towards Practical Default-On Multi-Core Record/Replay
Ali José Mashtizadeh , Tal Garfinkel , David Terei , David Mazieres
ACM SIGPLAN Notices 52 ( 4) 693 -708
2017
azarasi/Dune: 对特权 CPU 功能的安全用户级访问
Adam Belay , Andrea Bittau , Ali Mashtizadeh , David Terei
M3: high-performance memory management from off-the-shelf components
David Terei , Alex Aiken , Jan Vitek
ACM SIGPLAN Notices 49 ( 11) 3 -13
3
2014
Blade: A data center garbage collector
David Terei , Amit Levy
arXiv preprint arXiv:1504.02578
17
2015
Security and the average programmer
Daniel Giffin , Stefan Heule , Amit Levy , David Mazières
Proceedings of POST
1
2014
Control, Performance and Safety in Programming Languages
David Terei
Stanford University
2016
Demo proposal: making web applications-XSafe
Amit A Levy , David Terei , Deian Stefan , David Maziéres
ACM SIGPLAN Notices 49 ( 12) 91 -91
2014
Security and the Average Programmer
Silas Boyd-Wickizer , Pablo Buiras , Daniel Giffin , Stefan Heule
CS344M: Project Final Report
David Terei
An llVM backend for GHC
David A. Terei , Manuel M.T. Chakravarty
Proceedings of the third ACM Haskell symposium on Haskell - Haskell '10 45 ( 11) 109 -120
31
2010
Low level virtual machine for Glasgow Haskell Compiler
David Anthony Terei , Manuel MT Chakravarty ,
Bachelor’s Thesis, Computer Science and Engineering Dept., The University of New South Wales, Sydney, Australia
13
2009