MURALIDHAR TALUPUR  


   Home  I   Research   I   Publications   I   Other    



Formal Verification:


  • Parameterized Verification using Message Flows: An Industrial Experience
          John O'Leary, Murali Talupur, Mark R. Tuttle. [pdf]
          In International Conference on Formal Methods in Computer Aided Design
          (FMCAD) 2009.

  • Going with the Flow: Parameterized Verification using Message Flows
          Murali Talupur, Mark R. Tuttle. [pdf]
          In International Conference on Formal Methods in Computer Aided Design
          (FMCAD) 2008. Best Paper Award
  • Proving Ptolemy Right: Environment Abstraction Principle for Model Checking Concurrent Systems
          Edmund Clarke, Murali Talupur, Helmut Veith. [pdf]
          In International Conference on Tools and Algorithms for Construction and Ananlysis
          of Systems (TACAS) 2008.
  • Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction
          Murali Talupur, Helmut Veith. [pdf]
          In International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2)2008.
  • Parameterized Verification of Industrial Cache Protocols
          Murali Talupur, Sava Krstic, John O'Leary, Mark R. Tuttle. [pdf]
          In International Workshop on Designing Correct Circuits (DCC) 2008.
  • Brief Announcement: Extracting models from design documents with Mapster
          David James, Tim Leonard, John O'Leary, Murali Talupur and Mark R. Tuttle. [pdf]
          In ACM Symposium on Principles of Distributed Computing (PODC) 2008.
  • An Abstraction Technique for Real Time Verification
          Edmund Clarke, Flavio Lerda, Muralidhar Talupur. [pdf]
          In GM R&D Workshop on Next Generation Design and Verification Methodologies,
          Bangalore, India 2007.
  • Environment Abstraction for Parameterized Verification
          Edmund Clarke, Muralidhar Talupur, Helmut Veith. [pdf]
          In International Conference on Verification, Model Checking and Abstract Interpretation
          (VMCAI) 2006.
  • SDSAT: A robust solver for Difference Logic
          Malay Ganai, Muralidhar Talupur, Aarti Gupta. [pdf]
          In International Conference on Tools and  Algorithms for Construction and Analysis of
          Systems(TACAS) 2006.
  • Verification by Network Decomposition
          Edmund Clarke, Muralidhar Talupur, Tayssir Touilli, Helmut Veith.[pdf]
          In International Conference on Concurrency Theory(CONCUR) 2004.
  • Range Allocation for Separation Logic
          Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli. [pdf]
          In  Proceedings of International Conference on Computer Aided Verification(CAV) 2004.
  • Revisiting Positive Equality
          Shuvendu Lahiri, Randy Bryant, Amit Goel, Muralidhar Talupur. [pdf]
          In Proceedings of International Conference on Tools and Algorithms for Construction and
          Analysis of  Systems(TACAS) 2004.
  • Making Predicate Abstraction Efficient: how to remove redundant predicates
          Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang. [pdf]
          In Proceedings of International Conference on Computer Aided Verification(CAV) 2003.
  • High Level Verification of Control Intensive Systems using Predicate Abstraction
          Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang. [pdf]
         In International Conference on Formal Methods and Models for Codesign
          (MEMOCODE) 2003.
  • SAT based Predicate Abstraction for Hardware Verification
          Edmund Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang. [pdf]
          In International Conference on Theory and Applications of Satisfiability Testing
          (SAT) 2003.


DNA Computing:

  • On the Generative Power of Simple H Systems
          Lakshminarayanan Subramanian, Muralidhar Talupur, Kamala Krithivasan,
          C. Pandu Rangan.
          In Journal of Automata, Languages and Combinatorics, Vol. 5, No. 4, 2000.
  • Simple Test Tube systems
          Prahlad Harsha, Muralidhar Talupur, Kamala Krithivasan. [pdf]
          Submitted to Journal of Automata, Languages, and Combinatorics.
  • The generative power of simple H system with permitting contexts
          Muralidhar Talupur, Kamala Krithivasan.
          Submitted to Theoretical Computer Science.


Tech Reports:

  • SAT based Predicate Abstraction for Hardware Verification
          Edmund Clarke, Muralidhar Talupur, Dong Wang.
          Technical Report CMU-ECE-CSSI 02-45, CMU, 2002.
  • Optimal Binary Trees in Online Algorithms
          Daniel Sleator, Muralidhar Talupur.
          Technical Report CMU-CS-02-148, SCS, CMU, 2002.


Theses:

  • Abstraction Techniques for Parameterized Verification
          Muralidhar Talupur.  [pdf]
          PhD Thesis, Computer Science Department, Carnegie Mellon University
          CMU-CS-06-169, CMU, 2006
  • Generative Power of Splicing Systems
          Muralidhar Talupur.
          Department of Computer Science and Engineering, Indian Institute of Technology-Madras,
          (IIT-M) 2000