基本信息
浏览量:41
职业迁徙
个人简介
My main line of work is around the state-of-the-art SMT constraint solver Z3. Z3 was developed with Leonardo de Moura, Lev Nachmanson and Christoph Wintersteiger. Z3 is used for program verification, test case generation among several applications. The work around Z3 has received several awards. Karthick Jayaraman and I created the SecGuru tool that is used to validate firewalls and routing configurations for Microsoft Azure and George Varghese introduced me to many insights around network verification and algorithmics. Until 2006, I was in the Core File Systems group where I designed and implemented the core of DFS-R which is included as part of Windows Server 2003 R2, Sharing Folders and Meetings Space. I also designed some of the chunking utilities used in the remote differential compression protocol RDC. I was named as 2021 ACM Fellow.
研究兴趣
论文共 239 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2023)
引用0浏览0EI引用
0
0
Nikolaj Bjorner, Katalin Fazekas
AUTOMATED DEDUCTION, CADE 29 (2023): 41-60
VMCAI (2023): 91-105
2023 60th ACM/IEEE Design Automation Conference (DAC)pp.1-6, (2023)
引用3浏览0EIWOS引用
3
0
Umesh Krishnaswamy,Rachee Singh, Paul Mattes,Paul-Andre C. Bissonnette,Nikolaj S. Bjørner, Zahira Nasrin, Sonal Kothari, Prabhakar Reddy, John Abeln,Srikanth Kandula,Himanshu Raj, Luis Irún-Briz,
NSDIpp.515-529, (2023)
引用0浏览0EI引用
0
0
ACM SIGCOMMpp.50-58, (2022)
Proceedings of the Symposium on SDN Research (2022)
user-61447a76e55422cecdaf7d19(2022)
引用0浏览0引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn