Sagar Chaki

According to our database, Sagar Chaki authored at least 77 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Achieving high coverage in hardware equivalence checking via concolic verification.

Pritam Roy, Sagar Chaki

Formal Methods Syst. Des., 2022

2019

High Coverage Concolic Equivalence Checking.

Pritam Roy, Sagar Chaki, Pankaj Chauhan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

BDD-Based Symbolic Model Checking.

Sagar Chaki, Arie Gurfinkel

Proceedings of the Handbook of Model Checking., 2018

Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform.

Amit Vasudevan, Sagar Chaki

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Formal Verification of a Timing Enforcer Implementation.

Sagar Chaki, Dionisio de Niz

ACM Trans. Embed. Comput. Syst., 2017

Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.

Björn Andersson, Sagar Chaki, Dionisio de Niz

Proceedings of the Runtime Verification - 17th International Conference, 2017

Decision-Making with Cross-Entropy for Self-Adaptation.

Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

SMT-based model checking for recursive programs.

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki

Formal Methods Syst. Des., 2016

Model Checking with Multi-threaded IC3 Portfolios.

Sagar Chaki, Derrick Karimi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.

Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta

Proceedings of the 25th USENIX Security Symposium, 2016

Input Attribution for Statistical Model Checking Using Logistic Regression.

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle

Proceedings of the Runtime Verification - 16th International Conference, 2016

BUZZ: Testing Context-Dependent Policies in Stateful Networks.

Seyed Kaveh Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.

Stanley Bak, Sagar Chaki

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation).

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Formal Methods Syst. Des., 2015

Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong.

Seyed Kaveh Fayaz, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar

CoRR, 2015

Semantic Importance Sampling for Statistical Model Checking.

Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Statistical Model Checking of Distributed Adaptive Real-Time Software.

David Kyle, Jeffery P. Hansen, Sagar Chaki

Proceedings of the Runtime Verification - 6th International Conference, 2015

High Assurance for Distributed Cyber Physical Systems.

Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.

Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

2014

Toward parameterized verification of synchronous distributed applications.

Sagar Chaki, James R. Edmondson

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Optimizing Robotic Team Performance with Probabilistic Model Checking.

Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.

Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

Model-Driven Verifying Compilation of Synchronous Distributed Applications.

Sagar Chaki, James R. Edmondson

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Efficient verification of periodic programs using sequential consistency and snapshots.

Sagar Chaki, Arie Gurfinkel, Nishant Sinha

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Contract-based integration of cyber-physical analyses.

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Verification across Intellectual Property Boundaries.

Sagar Chaki, Christian Schallhart, Helmut Veith

ACM Trans. Softw. Eng. Methodol., 2013

Compositional Sequentialization of Periodic Programs.

Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman

Proceedings of the Verification, 2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).

Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Probabilistic Verification of Coordinated Multi-robot Missions.

Sagar Chaki, Joseph Andrew Giampapa

Proceedings of the Model Checking Software - 20th International Symposium, 2013

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

Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Bounded model checking of high-integrity software.

Sagar Chaki

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Finding Errors in Python Programs Using Dynamic Symbolic Execution.

Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke

Proceedings of the Testing Software and Systems, 2013

Verifying periodic programs with priority inheritance locks.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Automatic Abstraction in SMT-Based Unbounded Software Model Checking.

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Regression Verification for Multi-threaded Programs.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Parametric Verification of Address Space Separation.

Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Binary Function Clustering Using Semantic Hashes.

Wesley Jin, Sagar Chaki, Cory F. Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan

Proceedings of the 11th International Conference on Machine Learning and Applications, 2012

Non-preemptive Scheduling with History-Dependent Execution Time.

Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2011

Automated assume-guarantee reasoning for omega-regular systems and specifications.

Sagar Chaki, Arie Gurfinkel

Innov. Syst. Softw. Eng., 2011

Efficient Predicate Abstraction of Program Summaries.

Arie Gurfinkel, Sagar Chaki, Samir Sapra

Proceedings of the NASA Formal Methods, 2011

Supervised learning for provenance-similarity of binaries.

Sagar Chaki, Cory F. Cohen, Arie Gurfinkel

Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Time-bounded analysis of real-time systems.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Combining predicate and numeric abstraction for software model checking.

Arie Gurfinkel, Sagar Chaki

Int. J. Softw. Tools Technol. Transf., 2010

Software model checking without source code.

Sagar Chaki, James Ivers

Innov. Syst. Softw. Eng., 2010

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.

Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Boxes: A Symbolic Abstract Domain of Boxes.

Arie Gurfinkel, Sagar Chaki

Proceedings of the Static Analysis - 17th International Symposium, 2010

Using Architecturally Significant Requirements for Guiding System Evolution.

Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009

Towards engineered architecture evolution.

Sagar Chaki, J. Andrés Díaz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Decision diagrams for linear arithmetic.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Verifying Information Flow Control over Unbounded Processes.

William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps

Proceedings of the FM 2009: Formal Methods, 2009

ASPIER: An Automated Framework for Verifying Security Protocol Implementations.

Sagar Chaki, Anupam Datta

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Three optimizations for Assume-Guarantee reasoning with L^*.

Sagar Chaki, Ofer Strichman

Formal Methods Syst. Des., 2008

Verification of evolving software via component substitutability analysis.

Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha

Formal Methods Syst. Des., 2008

2007

Optimized L*-Based Assume-Guarantee Reasoning.

Sagar Chaki, Ofer Strichman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Model-Driven Construction of Certified Binaries.

Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

Error explanation with distance metrics.

Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman

Int. J. Softw. Tools Technol. Transf., 2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.

Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SAT-Based Software Certification.

Sagar Chaki

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Assume-Guarantee Reasoning for Deadlock.

Sagar Chaki, Nishant Sinha

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

An Iterative Framework for Simulation Conformance.

Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith

J. Log. Comput., 2005

Concurrent software verification with states, events, and deadlocks.

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Formal Aspects Comput., 2005

Parallel Assignments in Software Model Checking.

Murray Stokely, Sagar Chaki, Joël Ouaknine

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

State/Event Software Verification for Branching-Time Specifications.

Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Dynamic Component Substitutability Analysis.

Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha

Proceedings of the FM 2005: Formal Methods, 2005

The ComFoRT Reasoning Framework.

Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Automated Assume-Guarantee Reasoning for Simulation Conformance.

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Modular Verification of Software Components in C.

Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith

IEEE Trans. Software Eng., 2004

Efficient Verification of Sequential and Concurrent C Programs.

Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav

Formal Methods Syst. Des., 2004

Explaining abstract counterexamples.

Sagar Chaki, Alex Groce, Ofer Strichman

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Automated, compositional and iterative deadlock detection.

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

State/Event-Based Software Model Checking.

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.

Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.

Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Predicate Abstraction with Minimum Predicates.

Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Types as models: model checking message-passing programs.

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001

Parameterized Verification of Multithreaded Software Libraries.

Thomas Ball, Sagar Chaki, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.

Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith

Proceedings of the 23rd International Conference on Software Engineering, 2001