Concepedia

Sagar Chaki

SC

Statistics

Publications

38

Citations

2.2K

H-Index

23

Active since

2001

Affiliations

Carnegie Mellon University(Current)

Software Engineering Institute

Technion – Israel Institute of Technology

Microsoft (United States)

University of Wisconsin–Madison

Sagar Chaki is an author at Carnegie Mellon University specializing in computing, computer science, and formal methods.

Publications per year

2001–2018

38

Publications

38

Modular verification of software components in C

Sagar Chaki, E. M. Clarke, Alex Groce et al. · IEEE Transactions on Software Engineering · 2004 · 311 citations

Computing, Computer Science, Formal Methods +15

Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening et al. · International Journal on Software Tools for Technology Transfer · 2005 · 191 citations

Natural Sciences, Mathematics, Geometry +11

Efficient filtering in publish-subscribe systems using binary decision diagrams

Alexis Campailla, Sagar Chaki, Edmund M. Clarke et al. · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 2001 · 139 citations

Computing, Computer Science, Computer Systems +10

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework

Amit Vasudevan, Sagar Chaki, Limin Jia et al. · 2013 · 138 citations · Full text

Computing, Computer Engineering, Computer Science +16

Modular verification of software components in C

Sagar Chaki, E. M. Clarke, Alex Groce et al. · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 130 citations

Computing, Computer Science, Formal Methods +15

1–5 of 38