Sagar Chaki

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