Publications

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    • Raghavan Komondoor and Ganesan Ramalingam, Recovering Data Models Via Guarded Dependences, in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
    • Saurabh Sinha, G. Ramalingam, and Raghavan Komondoor, Parametric Process Model Inference , in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
    • Krishna Mehra, Sriram K. Rajamani, Prasad Sistla, and Sumit K. Jha, Verification of Object-Relational Maps, in Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), IEEE Computer Society, September 2007
    • Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, and Sriram K. Rajamani, Programming Asynchronous Layers with CLARITY, in Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Association for Computing Machinery, Inc., September 2007
    • Trishul M. Chilimbi, Aditya Nori, and Kapil Vaswani, Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling, in Proceedings of the Symposium on Foundations of Software Engineering (FSE), September 2007
    • Roman Manevich, Josh Berdine, Byron Cook, Ganesan Ramalingam, and Mooly Sagiv, Shape Analysis by Graph Decomposition, in 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, Proceedings, Springer Verlag, 2007
    • Kapil Vaswani, Aditya Nori, and Trishul Chilimbi, Preferential Path Profiling: Compactly Numbering Interesting Paths, in Proceedings of the Symposium on Principles of Programming Languages (POPL), January 2007

    2006

    • Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and John Lambert, NETRA: Seeing Through Access Control, in Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Association for Computing Machinery, Inc., November 2006
    • Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, and Sriram K. Rajamani, Synergy: A New Algorithm for Property Checking, in Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) , Association for Computing Machinery, Inc., November 2006
    • Bhargav S. Gulavani and Sriram K. Rajamani, Counterexample driven Refinement for Abstract Interpretation, in Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2006
    • Sriram Rajamani, Automatic Property Checking for Software: Past, Present and Future, in Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM), IEEE Computer Society, 2006
    Share
    Share this page on Facebook
    Share this page on Twitter
    Share this page on LinkedIn
    E-mail this page
    RSS feeds