基本信息
浏览量:196
职业迁徙
个人简介
My research focuses on improving software reliability and security. Toward that end, I have developed several new techniques to ensure program correctness and security in domains ranging from compilers to web browsers. My work draws upon interactive theorem provers like Coq and automated tools like Satisfiability Modulo Theories (SMT) solvers in order to make strong, formal correctness guarantees. Using these tools, I develop techniques to verify real software systems at scale and also to make verification accessible to non-expert programmers.
As a graduate student at UCSD, I have enjoyed several opportunities to teach and mentor both undergraduate and graduate students. I have developed my own lecture material on a variety of programming language topics, designed course projects at the graduate and undergraduate levels, and have advised undergraduates interested in pursuing graduate studies. During the past year, I have also closely mentored junior graduate students who are tackling a large research project with the Coq interactive theorem prover.
研究兴趣
论文共 96 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Bo-Yuan Huang ,Steven Lyubomirsky,Yi Li, Mike He,Gus Henry Smith,Thierry Tambe, Akash Gaonkar,Vishal Canumalla,Andrew Cheung,Gu-Yeon Wei,Aarti Gupta,Zachary Tatlock,
ACM Trans. Design Autom. Electr. Syst.no. 2 (2024): 35:1-35:25
Bo-Yuan Huang,Steven Lyubomirsky,Yi Li, Mike He,Gus Henry Smith,Thierry Tambe, Akash Gaonkar,Vishal Canumalla,Andrew Cheung,Gu-Yeon Wei,Aarti Gupta,Zachary Tatlock,
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMSno. 2 (2024)
CoRR (2024): 22-31
Gus Henry Smith,Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia,Vishal Canumalla,Andrew Cheung,Zachary Tatlock,Chandrakana Nandi,Jonathan Balkind
CoRR (2024)
引用0浏览0EI引用
0
0
CoRR (2023): 77:1-77:15
Anjali Pal,Brett Saiki,Ryan Tjoa, Cynthia Richey,Amy Zhu,Oliver Flatt,Max Willsey,Zachary Tatlock,Chandrakana Nandi
Proceedings of the ACM on Programming Languagesno. OOPSLA (2023): 1034-1062
Yihong Zhang,Yisu Remy Wang,Oliver Flatt,David Cao, Philip Zucker, Eli Rosenthal,Zachary Tatlock,Max Willsey
Proc. ACM Program. Lang.no. POPL (2023): 396-424
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn