Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Sagar
    Last name: Chaki
    DBLP: 79/5752
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 67  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein.
    Semantic Importance Sampling for Statistical Model Checking.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Wesley Jin, Cory Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan.
    Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.
    Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA 2014 (0) 2014
    Journal article
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki.
    SMT-based Model Checking for Recursive Programs.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki.
    SMT-Based Model Checking for Recursive Programs.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Sagar Chaki, James R. Edmondson.
    Toward parameterized verification of synchronous distributed applications.
    2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014 2014 (0) 2014
    Conference paper
    Sagar Chaki, James R. Edmondson.
    Model-Driven Verifying Compilation of Synchronous Distributed Applications.
    Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky.
    Optimizing Robotic Team Performance with Probabilistic Model Checking.
    Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Nishant Sinha.
    Efficient verification of periodic programs using sequential consistency and snapshots.
    Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014 2014 (0) 2014
    Conference paper
    Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan.
    Contract-based integration of cyber-physical analyses.
    2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 2014 (0) 2014
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman.
    Compositional Sequentialization of Periodic Programs.
    Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings 2013 (0) 2013
    Journal article
    Sagar Chaki, Christian Schallhart, Helmut Veith.
    Verification across Intellectual Property Boundaries.
    ACM Trans. Softw. Eng. Methodol. 2013, Volume 22 (0) 2013
    Conference paper
    Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik.
    UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
    Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Sagar Chaki, Joseph Andrew Giampapa.
    Probabilistic Verification of Coordinated Multi-robot Missions.
    Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta.
    Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.
    2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013 2013 (0) 2013
    Journal article
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke.
    Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke.
    Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
    Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke.
    Finding Errors in Python Programs Using Dynamic Symbolic Execution.
    Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Ofer Strichman.
    Verifying periodic programs with priority inheritance locks.
    Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013 2013 (0) 2013
    Conference paper
    Sagar Chaki.
    Bounded model checking of high-integrity software.
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 2013 (0) 2013
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Ofer Strichman.
    Regression Verification for Multi-threaded Programs.
    Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan.
    Parametric Verification of Address Space Separation.
    Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012 (0) 2012
    Conference paper
    Björn Andersson, Sagar Chaki, Dionisio de Niz, Brian Dougherty, Russell Kegley, Jules White.
    Non-preemptive Scheduling with History-Dependent Execution Time.
    24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012 2012 (0) 2012
    Conference paper
    Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan.
    Binary Function Clustering Using Semantic Hashes.
    11th International Conference on Machine Learning and Applications, ICMLA, Boca Raton, FL, USA, December 12-15, 2012. Volume 1 2012 (0) 2012
    Conference paper
    Arie Gurfinkel, Sagar Chaki, Samir Sapra.
    Efficient Predicate Abstraction of Program Summaries.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Sagar Chaki, Arie Gurfinkel.
    Automated assume-guarantee reasoning for omega-regular systems and specifications.
    ISSE 2011, Volume 7 (0) 2011
    Show item 1 to 25 of 67  

    Your query returned 67 matches in the database.