基本信息
浏览量:90
职业迁徙
个人简介
My research covers operating systems, distributed systems, and the interaction of programming languages with systems. It focuses on how to leverage programming language technologies for building extensible systems. Programming language technologies help build systems that are more modular, less buggy, and more secure. For example, type safety prevents code from accessing arbitrary memory locations and thus thwarts many runtime failures and security exploits common to applications written in C. Extensibility helps build systems that are easier to customize, manage, and evolve. For example, my research has demonstrated that a suitable extension mechanism can provide considerable flexibility for replication systems, content distribution networks, pervasive applications, and access control policies.
The xtc project provides the foundation for my research. It explores how to make programming languages and their compilers easily extensible, while also applying the resulting technologies on different domains including parser generators, multi-lingual programs, debuggers, stream processing, and kernel extensions.
Other projects I've been involved with include:
Na Kika: securely decentralizing content management.
one.world: providing system support for pervasive applications.
Portolano: exploring the field of pervasive/ubiquitous/invisible computing.
Distributed Virtual Machines: building manageable and secure distributed virtual machines.
Security for Extensible Systems: providing extensible access control for extensible systems.
Spin: extending the OS by downloading code into the kernel.
Exokernel: extending the OS by pushing services into user space.
Logical Disks: giving applications control over disk management.
I have some basic advice for my PhD students.
研究兴趣
论文共 85 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Mark Unruh,Brett Larive,Paul W. Eggers,Amit X. Garg,Jennifer Gassman,Fredric O. Finkelstein,Paul L. Kimmel,Glenn M. Chertow, S. Achinger,S. Anderson,L. Appel, R. Apruzzes,
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn