| 2019 | DATE | High Coverage Concolic Equivalence Checking. | Pritam Roy, Sagar Chaki, Pankaj Chauhan |
| 2017 | ICSE | Decision-Making with Cross-Entropy for Self-Adaptation. | Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman |
| 2017 | RV | Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. | Bjrn Andersson, Sagar Chaki, Dionisio de Niz |
| 2016 | EMSOFT | Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. | Stanley Bak, Sagar Chaki |
| 2016 | NSDI | BUZZ: Testing Context-Dependent Policies in Stateful Networks. | Seyed Kaveh Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar |
| 2016 | RV | 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 |
| 2016 | VMCAI | Model Checking with Multi-threaded IC3 Portfolios. | Sagar Chaki, Derrick Karimi |
| 2015 | CCS | Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. | Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2015 | ECSA | High Assurance for Distributed Cyber Physical Systems. | Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno |
| 2015 | RV | Statistical Model Checking of Distributed Adaptive Real-Time Software. | David Kyle, Jeffery P. Hansen, Sagar Chaki |
| 2015 | TACAS | Semantic Importance Sampling for Statistical Model Checking. | Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein |
| 2014 | CAV | SMT-Based Model Checking for Recursive Programs. | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki |
| 2014 | EMSOFT | Contract-based integration of cyber-physical analyses. | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2014 | FMCAD | Efficient verification of periodic programs using sequential consistency and snapshots. | Sagar Chaki, Arie Gurfinkel, Nishant Sinha |
| 2014 | MODELS | Model-Driven Verifying Compilation of Synchronous Distributed Applications. | Sagar Chaki, James R. Edmondson |
| 2014 | POPL | 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 |
| 2013 | CAV | Automatic Abstraction in SMT-Based Unbounded Software Model Checking. | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke |
| 2013 | FMCAD | Verifying periodic programs with priority inheritance locks. | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
| 2013 | SP | Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. | Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta |
| 2013 | TACAS | UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). | Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik |
| 2013 | VMCAI | Compositional Sequentialization of Periodic Programs. | Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman |
| 2012 | ECRTS | Non-preemptive Scheduling with History-Dependent Execution Time. | Bjrn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White |
| 2012 | ICMLA | Binary Function Clustering Using Semantic Hashes. | Wesley Jin, Sagar Chaki, Cory F. Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan |
| 2012 | VMCAI | Regression Verification for Multi-threaded Programs. | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
| 2011 | FMCAD | Time-bounded analysis of real-time systems. | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
| 2011 | KDD | Supervised learning for provenance-similarity of binaries. | Sagar Chaki, Cory F. Cohen, Arie Gurfinkel |
| 2010 | SP | 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 |
| 2010 | SAS | Boxes: A Symbolic Abstract Domain of Boxes. | Arie Gurfinkel, Sagar Chaki |
| 2009 | FM | Verifying Information Flow Control over Unbounded Processes. | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 2009 | FMCAD | Decision diagrams for linear arithmetic. | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
| 2009 | ICSE | Towards engineered architecture evolution. | Sagar Chaki, J. Andrs Daz Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya |
| 2008 | FMCAD | Combining Predicate and Numeric Abstraction for Software Model Checking. | Arie Gurfinkel, Sagar Chaki |
| 2007 | CAV | Verification Across Intellectual Property Boundaries. | Sagar Chaki, Christian Schallhart, Helmut Veith |
| 2007 | MODELS | Model-Driven Construction of Certified Binaries. | Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger |
| 2007 | TACAS | Optimized L*-Based Assume-Guarantee Reasoning. | Sagar Chaki, Ofer Strichman |
| 2006 | FMCAD | Assume-Guarantee Reasoning for Deadlock. | Sagar Chaki, Nishant Sinha |
| 2006 | TACAS | SAT-Based Software Certification. | Sagar Chaki |
| 2006 | TACAS | Verifying Concurrent Message-Passing C Programs with Recursive Calls. | Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2005 | CAV | Automated Assume-Guarantee Reasoning for Simulation Conformance. | Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati |
| 2005 | CAV | The ComFoRT Reasoning Framework. | Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau |
| 2005 | FM | Dynamic Component Substitutability Analysis. | Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha |
| 2005 | IFM | State/Event Software Verification for Branching-Time Specifications. | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2004 | IFM | State/Event-Based Software Model Checking. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina, Nishant Sinha |
| 2004 | MEMOCODE | Automated, compositional and iterative deadlock detection. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina |
| 2003 | ICSE | Modular Verification of Software Components in C. | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
| 2003 | SEKE | Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. | Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith |
| 2002 | POPL | Types as models: model checking message-passing programs. | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
| 2001 | ICSE | Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. | Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
| 2001 | TACAS | Parameterized Verification of Multithreaded Software Libraries. | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |