Sagar Chaki

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 12

Top Topics

Formal Verification

Top Venues

Formal Methods Syst. Des.

Publications

Pritam Roy, Sagar Chaki
Achieving high coverage in hardware equivalence checking via concolic verification. Formal Methods Syst. Des. 60 (3) (2022)
Pritam Roy, Sagar Chaki, Pankaj Chauhan
High Coverage Concolic Equivalence Checking. DATE (2019)
Amit Vasudevan, Sagar Chaki
Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform. EuroS&P (2018)
Björn Andersson, Sagar Chaki, Dionisio de Niz
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. RV (2017)
Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman
Decision-Making with Cross-Entropy for Self-Adaptation. SEAMS@ICSE (2017)
Sagar Chaki, Dionisio de Niz
Formal Verification of a Timing Enforcer Implementation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Sagar Chaki, Derrick Karimi
Model Checking with Multi-threaded IC3 Portfolios. VMCAI (2016)
Stanley Bak, Sagar Chaki
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. EMSOFT (2016)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-based model checking for recursive programs. Formal Methods Syst. Des. 48 (3) (2016)
Seyed Kaveh Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar
BUZZ: Testing Context-Dependent Policies in Stateful Networks. NSDI (2016)
Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
Input Attribution for Statistical Model Checking Using Logistic Regression. RV (2016)
Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. USENIX Security Symposium (2016)
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Formal Methods Syst. Des. 47 (3) (2015)
Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS (2015)
David Kyle, Jeffery P. Hansen, Sagar Chaki
Statistical Model Checking of Distributed Adaptive Real-Time Software. RV (2015)
Seyed Kaveh Fayaz, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar
Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong. CoRR (2015)
Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein
Semantic Importance Sampling for Statistical Model Checking. TACAS (2015)
Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno
High Assurance for Distributed Cyber Physical Systems. ECSA Workshops (2015)
Sagar Chaki, James R. Edmondson
Toward parameterized verification of synchronous distributed applications. SPIN (2014)
Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis. PPREW@POPL (2014)
Sagar Chaki, James R. Edmondson
Model-Driven Verifying Compilation of Synchronous Distributed Applications. MoDELS (2014)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-based Model Checking for Recursive Programs. CoRR (2014)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-Based Model Checking for Recursive Programs. CAV (2014)
Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan
Contract-based integration of cyber-physical analyses. EMSOFT (2014)
Sagar Chaki, Arie Gurfinkel, Nishant Sinha
Efficient verification of periodic programs using sequential consistency and snapshots. FMCAD (2014)
Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky
Optimizing Robotic Team Performance with Probabilistic Model Checking. SIMPAR (2014)
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS (2013)
Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. IEEE Symposium on Security and Privacy (2013)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22 (2) (2013)
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
Verifying periodic programs with priority inheritance locks. FMCAD (2013)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. CoRR (2013)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. CAV (2013)
Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke
Finding Errors in Python Programs Using Dynamic Symbolic Execution. ICTSS (2013)
Sagar Chaki
Bounded model checking of high-integrity software. HILT (2013)
Sagar Chaki, Joseph Andrew Giampapa
Probabilistic Verification of Coordinated Multi-robot Missions. SPIN (2013)
Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman
Compositional Sequentialization of Periodic Programs. VMCAI (2013)
Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White
Non-preemptive Scheduling with History-Dependent Execution Time. ECRTS (2012)
Wesley Jin, Sagar Chaki, Cory F. Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan
Binary Function Clustering Using Semantic Hashes. ICMLA (1) (2012)
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
Regression Verification for Multi-threaded Programs. VMCAI (2012)
Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
Parametric Verification of Address Space Separation. POST (2012)
Sagar Chaki, Arie Gurfinkel
Automated assume-guarantee reasoning for omega-regular systems and specifications. Innov. Syst. Softw. Eng. 7 (2) (2011)
Sagar Chaki, Cory F. Cohen, Arie Gurfinkel
Supervised learning for provenance-similarity of binaries. KDD (2011)
Arie Gurfinkel, Sagar Chaki, Samir Sapra
Efficient Predicate Abstraction of Program Summaries. NASA Formal Methods (2011)
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
Time-bounded analysis of real-time systems. FMCAD (2011)
Arie Gurfinkel, Sagar Chaki
Combining predicate and numeric abstraction for software model checking. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Sagar Chaki, James Ivers
Software model checking without source code. Innov. Syst. Softw. Eng. 6 (3) (2010)
Sagar Chaki, Arie Gurfinkel
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications. NASA Formal Methods (2010)
Arie Gurfinkel, Sagar Chaki
Boxes: A Symbolic Abstract Domain of Boxes. SAS (2010)
Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki
Using Architecturally Significant Requirements for Guiding System Evolution. CSMR (2010)
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy (2010)
Sagar Chaki, Anupam Datta
ASPIER: An Automated Framework for Verifying Security Protocol Implementations. CSF (2009)
Sagar Chaki, J. Andrés Díaz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya
Towards engineered architecture evolution. MiSE@ICSE (2009)
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
Verifying Information Flow Control over Unbounded Processes. FM (2009)
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
Decision diagrams for linear arithmetic. FMCAD (2009)
Sagar Chaki, James Ivers
Software Model Checking without Source Code. NASA Formal Methods (2009)
Sagar Chaki, Ofer Strichman
. Formal Methods Syst. Des. 32 (3) (2008)
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha
Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32 (3) (2008)
Arie Gurfinkel, Sagar Chaki
Combining Predicate and Numeric Abstraction for Software Model Checking. FMCAD (2008)
Sagar Chaki, Ofer Strichman
Optimized L*-Based Assume-Guarantee Reasoning. TACAS (2007)
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
Model-Driven Construction of Certified Binaries. MoDELS (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries CoRR (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries. CAV (2007)
Murray Stokely, Sagar Chaki, Joël Ouaknine
Parallel Assignments in Software Model Checking. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Sagar Chaki
SAT-Based Software Certification. TACAS (2006)
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS (2006)
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Sagar Chaki, Nishant Sinha
Assume-Guarantee Reasoning for Deadlock. FMCAD (2006)
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
Concurrent software verification with states, events, and deadlocks. Formal Aspects Comput. 17 (4) (2005)
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV (2005)
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha
Dynamic Component Substitutability Analysis. FM (2005)
Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
State/Event Software Verification for Branching-Time Specifications. IFM (2005)
Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
The ComFoRT Reasoning Framework. CAV (2005)
Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
An Iterative Framework for Simulation Conformance. J. Log. Comput. 15 (4) (2005)
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
Efficient Verification of Sequential and Concurrent C Programs. Formal Methods Syst. Des. 25 (2-3) (2004)
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
State/Event-Based Software Model Checking. IFM (2004)
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina
Automated, compositional and iterative deadlock detection. MEMOCODE (2004)
Sagar Chaki, Alex Groce, Ofer Strichman
Explaining abstract counterexamples. SIGSOFT FSE (2004)
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30 (6) (2004)
Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE (2003)
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
Predicate Abstraction with Minimum Predicates. CHARME (2003)
Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
Modular Verification of Software Components in C. ICSE (2003)
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Types as models: model checking message-passing programs. POPL (2002)
Thomas Ball, Sagar Chaki, Sriram K. Rajamani
Parameterized Verification of Multithreaded Software Libraries. TACAS (2001)
Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE (2001)