Concepedia

Sagar Chaki

SC

Statistics

Publications

38

Citations

2.1K

H-Index

22

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 engineering, formal verification, and formal methods.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningSystem SoftwareComputer Engineering

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 · 310 citations

Program Checking, Engineering, Verification +19

Error explanation with distance metrics

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

Engineering, Geometry, Measurement +8

Efficient filtering in publish-subscribe systems using binary decision diagrams

Alexis Campailla, Sagar Chaki, Edmund M. Clarke et al. · International Conference on Software Engineering · 2001 · 139 citations

Event-driven Architecture, Engineering, Verification +20

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

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

Engineering, Verification, Computer Architecture +21

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

Program Checking, Engineering, Verification +19

1–5 of 38