This page contains only older publications. Please click here for my recent publications.

If you are looking for my CV, please click here.

Some conference papers may be superceded by revised versions of these papers that appeared in journals. No links are provided for such papers.

Publications in Books

  1. Term Indexing
    R. Sekar I.V. Ramakrishnan and A. Voronkov
    Handbook of Automated Reasoning, Edited by A. Robinson and A. Voronkov,
    Elsevier Science/MIT Press, To appear
  2. Formal Verification of a Microprocessor Using Equational Techniques,
    R. Sekar and M.K. Srivas,
    BANFF workshop on Hardware Verification, June 1988. Selected from the workshop for publication in Current Trends in Hardware Verification and Automated Theorem Proving (Chapter 4), 1989. Edited by P.A. Subrahmanyam and Graham Birtwistle.

Refereed Conference and Workshop Publications

  1. A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
    A. Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and R. Sekar
    IEEE/ACM International Conference on Computer Languages, May 1998. abstract Postscript
  2. Making a Success out of Early Failures
    A. Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan and R. Sekar
    International Logic Programming Symposium Workshop on Specialization of Declarative Programs and its Applications, 1997.
  3. A Symbolic Constraint Solving Framework for Analysis of Logic Programs,
    C.R. Ramakrishnan, I.V. Ramakrishnan and R. Sekar,
    ACM Conference on Partial Evaluation and Semantics based Program Manipulation (PEPM), June 1995. abstract Postscript
  4. Equals: The New Generation,
    O. Kaser, C.R. Ramakrishnan and R. Sekar,
    International workshop on parallel processing (IWPP), Dec 1994. abstract Postscript
  5. Automata-driven Efficient Subterm Unification,
    R. Ramesh, R. Sekar and I.V. Ramakrishnan
    Foundations of Software Technology and Theoretical Computer Science (FST&TCS), Dec 1994.
  6. Modelling Techniques for Evolving Distributed Applications,
    R. Sekar, Y-J. Lin and C.R. Ramakrishnan,
    Formal Description Techniques (FORTE), Oct 1994. abstract Postscript
  7. A High Performance Runtime System for Parallel Evaluation of Lazy languages,
    O. Kaser, C.R. Ramakrishnan and R. Sekar,
    Int. Symp. on Parallel Symbolic Computation (PASCO), Sep 1994. abstract Postscript
  8. The Touring Machine System: An Open Distributed Platform for
    Information Networking Applications (Extended Abstract)    ,
    B. Coan, G. Gopal, G. Herman, W. Leland, V. Mak, R. Sekar, A. Weinrib and S. Wuu,
    4th Telecommunications Information Networking Architecture Workshop (TINA93), Sep 1993. abstract Postscript
  9. Extracting Determinacy in Logic Programs,
    S. Dawson, C.R. Ramakrishnan, I.V. Ramakrishnan and R. Sekar,
    International Conference on Logic Programming (ICLP), June 1993. abstract Postscript
  10. Adaptive Pattern Matching,
    R. Sekar, R. Ramesh and I.V. Ramakrishnan,
    International Colloquium on Automata, Languages and Programming (ICALP), July 1992.
  11. Fast Parallel Implementation of Lazy Languages -- The Equals Experience,
    O. Kaser, S. Pawagi, C.R. Ramakrishnan, I.V. Ramakrishnan and R. Sekar,
    ACM Conference on Lisp and Functional Programming (LFP), June 1992.
  12. Programming with Equations -- A Framework for Lazy Parallel Evaluation,
    R. Sekar and I.V. Ramakrishnan,
    International Conference on Automated Deduction (CADE), June 1992. abstract Postscript
  13. On Modelling and Reasoning about Hybrid Systems,
    R. Sekar, Y.-J. Lin and S. Narain,
    International Symposium on Protocol Specification, Testing and Verification (PSTV), June 1992. abstract Postscript
  14. A Temporal Logic for Telecommunications,
    S. Narain, J. Cameron, Y.-J. Lin and R. Sekar,
    AAAI workshop on Implementing Temporal Reasoning, July 1992.
  15. On the Power and Limitation of Strictness Analysis based on Abstract Interpretation
    R. Sekar, P. Mishra and I.V. Ramakrishnan,
    ACM Symposium on Principles of Programming Languages (POPL) , Jan 1991.
  16. Equational Logic Programming: Beyond Strong Sequentiality}
    R. Sekar and I.V. Ramakrishnan,
    IEEE Symposium on Logics In Computer Science (LICS), June 1990.
    Invited from the conference to a special issue of Information and Computation.
  17. Small Domains Spell Fast Strictness Analysis,
    R. Sekar, S. Pawagi and I.V. Ramakrishnan,
    ACM Symposium on Principles Of Programming Languages (POPL), Jan 1990.
  18. Transforming Strongly Sequential Systems with Constructors for Efficient Parallel Execution,
    R. Sekar, S. Pawagi and I.V. Ramakrishnan,
    International Conference on Rewriting Techniques and Applications (RTA), April 1989. abstract Postscript
  19. Stony Brook Parallel Programming Project,
    R. Sekar, S. Pawagi and I.V. Ramakrishnan,
    Workshop on Architectural Support for Declarative Languages, May 1989. abstract Postscript

Refereed Journal Publications

  1. Model-Based Analysis of Configuration Vulnerabilities,
    C.R. Ramakrishnan and R. Sekar
    Journal of Computer Security2002. Postscript
  2. Efficient Automata-Driven Subterm Unification,
    R. Ramesh, I.V. Ramakrishnan and R. Sekar
    Theoretical Computer Science, 2001. abstract Postscript
  3. On the Power and Limitations of Strictness Analysis,
    R. Sekar, P. Mishra and I.V. Ramakrishnan,
    Journal of the ACM (JACM), 44(3), May 1997, 505-525. abstract Postscript
  4. EQUALS -- A Fast Parallel Implementation of a Lazy Language,
    O. Kaser, C.R. Ramakrishnan, I.V. Ramakrishnan and R. Sekar,
    Journal of Functional Programming (JFP), 7(2):183-217, March 1997. abstract Postscript
  5. Fast Strictness Analysis Based on Demand Propagation,
    R. Sekar and I.V. Ramakrishnan,
    ACM Transactions on Programming Languages and Systems (TOPLAS), Nov 1995. abstract Postscript
  6. Adaptive Pattern Matching,
    R. Sekar, R. Ramesh and I.V. Ramakrishnan,
    SIAM Journal of Computing, Dec 1995. abstract Postscript
  7. The Touring Machine System
    Arango et al, Communications of the ACM
    Special issue on Multimedia in the Workplace, 36(1), 1993.
  8. Equational Logic Programming: Beyond Strong Sequentiality,
    R. Sekar and I.V. Ramakrishnan,
    Information and Computation, June 1993. abstract Postscript
  9. An Equational Approach to the Verification of Microprocessors,
    M.K. Srivas and R. Sekar,
    International Journal of Computer Aided VLSI Design, Special issue on ``Zero-defect VLSI design,'' 1990. abstract Postscript

Tutorials and Invited Presentations

  1. Tutorial on Term Indexing in Automated Reasoning, Databases and
    Declarative Programming Languages,
    I.V. Ramakrishnan, R. Sekar and A. Voronkov
    International Conference on Automated Deduction, July 1997.
  2. Survivable Active Networks,
    M. Segal and R. Sekar,
    DARPA workshop on Network Management, October 1997.