基本信息
浏览量:127
职业迁徙
个人简介
University of California, Berkeley University of California, Berkeley PhD, Computer Science 2002 – 2008 Advisor: Prof. George Necula Dissertation: "Extensible Shape Analysis with Invariant Checkers" Dissertation Committee: Prof. George Necula (chair), Prof. Koushik Sen, and Prof. Jack Silver Proposal Committee: Prof. Rastislav Bodik (chair), Prof. Eric Brewer, Prof. George Necula, and Prof. Jack Silver University of California, Berkeley University of California, Berkeley MS, Computer Science 2002 – 2005 Advisor: Prof. George Necula Thesis: "Type-Based Verification of Assembly Language" Committee: Prof. George Necula and Prof. Rastislav Bodik Carnegie Mellon University Carnegie Mellon University BS, Computer Science 1998 – 2002 University and College Honors Minors: Biological Science and Mathematical Science Senior Thesis: "Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective" Advisors: Prof. Robert Harper and Prof. Frank PfenningAssistant Professor University of Colorado at Boulder 2009 – 至今 (7 年) Research Intern Microsoft Research 2005 年 5 月 – 2005 年 8 月 (4 个月) Research Intern Microsoft Research 2004 年 5 月 – 2004 年 8 月 (4 个月)
研究兴趣
论文共 83 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ACM Trans. Program. Lang. Syst.no. 1 (2024): 4:1-4:40
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall,Pauline Bolignano,Franco Raimondi,Bor-Yuh Evan Chang
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedingspp.460-484, (2023)
CoRRno. OOPSLA (2023): 1905-1934
arXiv: Programming Languages (2021)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn