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 63 of 63  
    Select a publication
    Show Title Venue Rating Date
    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, 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, 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
    Conference paper
    Sagar Chaki, Cory Cohen, Arie Gurfinkel.
    Supervised learning for provenance-similarity of binaries.
    Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Diego, CA, USA, August 21-24, 2011 2011 (0) 2011
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Ofer Strichman.
    Time-bounded analysis of real-time systems.
    International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 2011 (0) 2011
    Conference paper
    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.
    31st IEEE Symposium on Security and Privacy, SP 2010, 16-19 May 2010, Berleley/Oakland, California, USA 2010 (0) 2010
    Conference paper
    Arie Gurfinkel, Sagar Chaki.
    Boxes: A Symbolic Abstract Domain of Boxes.
    Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings 2010 (0) 2010
    Journal article
    Sagar Chaki, James Ivers.
    Software model checking without source code.
    ISSE 2010, Volume 6 (0) 2010
    Conference paper
    Arie Gurfinkel, Sagar Chaki.
    Combining predicate and numeric abstraction for software model checking.
    STTT 2010, Volume 12 (0) 2010
    Conference paper
    Ipek Ozkaya, Jorge Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki.
    Using Architecturally Significant Requirements for Guiding System Evolution.
    14th European Conference on Software Maintenance and Reengineering, CSMR 2010, 15-18 March 2010, Madrid, Spain 2010 (0) 2010
    Conference paper
    Sagar Chaki, Arie Gurfinkel.
    Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications.
    Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Sagar Chaki, James Ivers.
    Software Model Checking without Source Code.
    First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. 2009 (0) 2009
    Conference paper
    Sagar Chaki, Anupam Datta.
    ASPIER: An Automated Framework for Verifying Security Protocol Implementations.
    Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009 2009 (0) 2009
    Conference paper
    William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps.
    Verifying Information Flow Control over Unbounded Processes.
    FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Ofer Strichman.
    Decision diagrams for linear arithmetic.
    Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA 2009 (0) 2009
    Conference paper
    Arie Gurfinkel, Sagar Chaki.
    Combining Predicate and Numeric Abstraction for Software Model Checking.
    Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008 (0) 2008
    Conference paper
    Sagar Chaki, Ofer Strichman.
    Three optimizations for Assume-Guarantee reasoning with L
    Formal Methods in System Design 2008, Volume 32 (0) 2008
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha.
    Verification of evolving software via component substitutability analysis.
    Formal Methods in System Design 2008, Volume 32 (0) 2008
    Conference paper
    Sagar Chaki, Christian Schallhart, Helmut Veith.
    Verification Across Intellectual Property Boundaries.
    Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger.
    Model-Driven Construction of Certified Binaries.
    Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Sagar Chaki, Ofer Strichman.
    Optimized L*-Based Assume-Guarantee Reasoning.
    Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi 2007 (0) 2007
    Conference paper
    Sagar Chaki, Christian Schallhart, Helmut Veith.
    Verification Across Intellectual Property Boundaries
    CoRR 2007, Volume 0 (0) 2007
    Conference paper
    Sagar Chaki, Nishant Sinha.
    Assume-Guarantee Reasoning for Deadlock.
    Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Sagar Chaki.
    SAT-Based Software Certification.
    Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi 2006 (0) 2006
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili.
    Verifying Concurrent Message-Passing C Programs with Recursive Calls.
    Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi 2006 (0) 2006
    Conference paper
    Murray Stokely, Sagar Chaki, Joël Ouaknine.
    Parallel Assignments in Software Model Checking.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 157 (0) 2006
    Conference paper
    Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman.
    Error explanation with distance metrics.
    STTT 2006, Volume 8 (0) 2006
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati.
    Automated Assume-Guarantee Reasoning for Simulation Conformance.
    Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau.
    The ComFoRT Reasoning Framework.
    Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha.
    Dynamic Component Substitutability Analysis.
    FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith.
    State/Event Software Verification for Branching-Time Specifications.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha.
    Concurrent software verification with states, events, and deadlocks.
    Formal Asp. Comput. 2005, Volume 17 (0) 2005
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith.
    An Iterative Framework for Simulation Conformance.
    J. Log. Comput. 2005, Volume 15 (0) 2005
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha.
    State/Event-Based Software Model Checking.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina.
    Automated, compositional and iterative deadlock detection.
    2nd ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings 2004 (0) 2004
    Conference paper
    Sagar Chaki, Alex Groce, Ofer Strichman.
    Explaining abstract counterexamples.
    Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004 2004 (0) 2004
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav.
    Efficient Verification of Sequential and Concurrent C Programs.
    Formal Methods in System Design 2004, Volume 25 (0) 2004
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith.
    Modular Verification of Software Components in C.
    IEEE Trans. Software Eng. 2004, Volume 30 (0) 2004
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman.
    Predicate Abstraction with Minimum Predicates.
    Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith.
    Modular Verification of Software Components in C.
    Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA 2003 (0) 2003
    Conference paper
    Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith.
    Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.
    Proceedings of the Fifteenth International Conference on Software Engineering Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003 2003 (0) 2003
    Conference paper
    Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke.
    Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 89 (0) 2003
    Conference paper
    Sagar Chaki, Sriram K. Rajamani, Jakob Rehof.
    Types as models: model checking message-passing programs.
    POPL 2002 (0) 2002
    Conference paper
    Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith.
    Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.
    Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada 2001 (0) 2001
    Conference paper
    Thomas Ball, Sagar Chaki, Sriram K. Rajamani.
    Parameterized Verification of Multithreaded Software Libraries.
    Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001 (0) 2001
    Show item 1 to 63 of 63  

    Your query returned 63 matches in the database.