Publications:

Under submission

  • Query Automata for Nested Words
    with Mahesh Viswanathan.
    Under Submission
    PDF.

    • 2008

  • A Formal Framework for Reflective Database Access Control Policies
    with Lars Olson and Carl Gunter.
    15th ACM Conference on Computer and Communications Security (CCS)
    Alexandria, USA, 2008.
    PDF.

  • An Infinite Automaton Characterization of Double Exponential Time
    with Gennaro Parlato and Salvatore La Torre.
    17th EACSL Annual Conference on Computer Science Logic
    Bertinoro, Italy, 2008.
    Conference version, More complete version with an appendix

  • Monitoring Atomicity in Concurrent Programs
    with Azadeh Farzan
    Computer Aided Verification (CAV), Princeton, USA, 2008.
    PDF.

  • Context-Bounded Analysis of Concurrent Queue Systems
    with Gennaro Parlato and Salvatore La Torre.
    Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS), Budapest, Hungary, 2008.
    PDF.

    • 2007

  • CANDID: Preventing SQL Injection Attacks using Dynamic Candidate Evaluations
    with Sruthi Bandhakavi, Prithvi Bisht and V.N. Venkatakrishnan.
    14th ACM Conference on Computer and Communications Security (CCS)
    Alexandria, USA, 2007.
    PDF.

  • A Robust Class of Context-Sensitive Languages
    with Gennaro Parlato and Salvatore La Torre.
    22nd IEEE Symp. on Logic in Computer Science (LICS)
    Wroclaw, Poland, 2007.
    PDF.

  • Visibly Pushdown Automata for Streaming XML
    with Viraj Kumar and Mahesh Viswanathan.
    Int'l World Wide Web Conference (WWW)
    Alberta, Canada, 2007.
    PDF.

  • Causal Dataflow Analysis for Concurrent Programs
    with Azadeh Farzan.
    Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS), Braga, Portugal, 2007.
    PDF.

    • 2006

  • Minimization, Learning, and Conformance Testing of Boolean Programs
    with Viraj Kumar and Mahesh Viswanathan.
    Int'l Conf on Concurrency Theory (CONCUR), Bonn, Germany, 2006.
    PDF.

  • Causal Atomicity
    with Azadeh Farzan.
    Computer Aided Verification (CAV), Seattle, USA, 2006.
    PDF.

  • Languages of nested trees
    with Rajeev Alur and Swarat Chaudhuri.
    Computer Aided Verification (CAV), Seattle, USA, 2006.
    PDF.

  • Adding Nesting Structure to Words
    with Rajeev Alur.
    Developments in Language Theory (DLT), Santa Barbara, USA, 2006.
    PDF.

  • Modular Strategies for Recursive Game Graphs
    with Rajeev Alur and Salvatore La Torre.
    Theoretical Computer Science, Special Issue for TACAS 2003
    Volume 354, Issue 2, 28 March 2006, Pages 230-249.
    PDF; Link to journal article

  • A Fixpoint Calculus for Local and Global Program Flows
    with Rajeev Alur and Swarat Chaudhuri.
    Principles of Programming Languages (POPL), Charleston, USA, 2006.
    Postscript, PDF.

    • 2005

  • The MSO Theory of Connectedly Communicating Processes
    with Yang Shaofa and P.S. Thiagarajan.
    Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2005
    Postscript, PDF.

  • Congruences for visibly pushdown languages
    with Rajeev Alur, Viraj Kumar and Mahesh Viswanathan.
    Int'l Coll. on Automata, Lang. and Prog. (ICALP), Lisboa, Portugal, 2005.
    Postscript, PDF.

  • Symbolic Compositional Verification by Learning Assumptions
    with Rajeev Alur and Wonhong Nam.
    Computer Aided Verification (CAV), Edinburgh, UK, 2005.
    Postscript, PDF.

  • Symbolic Computational Techniques for Solving Games
    with Rajeev Alur and Wonhong Nam.
    Journal version of BMC'03 paper,
    International Journal on Software Tools for Technology Transfer (STTT)
    February, 2005, © Springer-Verlag
    Postscript of prelim version, Paper on Springer's site

  • On-the-fly reachability and cycle detection for recursive state machines
    with Rajeev Alur, Swarat Chaudhuri, and Kousha Etessami.
    TACAS '05, April 4-8, Edinburgh, UK.
    Postscript

  • Perturbed timed automata
    with Rajeev Alur and Salvatore La Torre.
    Hybrid Systems: Computation and Control (HSCC),
    Zurich, Switzerland, 2005.
    Postscript, PDF

  • Synthesis of Interface Specifications for Java Classes
    (Version 2, July 2004: See the JIST page)
    with Rajeev Alur, Pavol Cerny and Wonhong Nam.
    32nd ACM SIGPLAN-SIGACT Symp. on Principles of Prog. Languages,
    POPL'05, Long Beach, California, USA, Jan 2005.
    Postscript, PDF

    • 2004

  • Visibly pushdown games
    with Christof Loeding and Olivier Serre.
    Foundations of Software Tech. and Theoretical Comp. Sc. (FSTTCS),
    Chennai, India, 2004.
    Postscript

  • Decision problems for timed automata: A Survey
    with Rajeev Alur
    4th Int'l School Formal Methods for the design of
    computer, communication and software systems: Real Time (SFM-04:RT),
    Bertinoro, Italy, 2004. LNCS © Springer-Verlag
    Postscript

  • Optimal Reachability for Weighted Timed Games
    with Rajeev Alur and Mikhail Bernadsky.
    ICALP, 31st Int'l Colloquium on Automata, Languages and Programming,
    Turku, Finland, 2004. LNCS © Springer-Verlag
    Abstract, PDF

  • Visibly pushdown languages
    with Rajeev Alur.
    STOC, Symp. on Theory of Computing, Chicago, USA, 2004.
    Abstract, PDF

  • A Temporal Logic for Nested Calls and Returns
    with Rajeev Alur and K. Etessami.
    TACAS, Barcelona, Spain, 2004. LNCS © Springer-Verlag
    Abstract, Postscript

    • 2003

  • Playing Games with Boxes and Diamonds
    with Rajeev Alur and Salvatore La Torre.
    CONCUR, Marseilles, France, 2003, LNCS © Springer-Verlag
    Abstract, Postscript

  • Symbolic Computational Techniques for Solving Games
    with Rajeev Alur and Wonhong Nam.
    Bounded Model Checking Workshop, Boulder, Colorado, USA, 2003,
    Electronic Notes in Theoretical Computer Science, Vol 89, Issue 4.
    Abstract, Postscript, PDF

  • Modular Strategies for Infinite Games on Recursive Graphs
    with Rajeev Alur and Salvatore La Torre.
    CAV, Boulder, Colorado, USA, 2003, LNCS © Springer-Verlag
    Abstract, Postscript

  • Timed Control with Partial Observability
    with Deepak D'Souza, Patricia Bouyer and Antoine Petit.
    CAV, Boulder, Colorado, USA, 2003, LNCS © Springer-Verlag
    Abstract, Postscript

  • Model-checking Trace Event Structures
    LICS, Ottawa, Canada, 2003, © IEEE
    Abstract, Postscript

  • Modular Strategies for Recursive Game Graphs
    with Rajeev Alur and Salvatore La Torre.
    9th TACAS, Warsaw, Poland, 2003, LNCS © Springer-Verlag
    Abstract, Postscript

    • 2002

  • Dynamic Message Sequence Charts
    with Martin Leucker and Supratik Mukhopadhyay.
    22nd FSTTCS, Kanpur, India, 2002, LNCS © Springer-Verlag
    Abstract, Postscript

  • A Decidable Class of Asynchronous Distributed Controllers
    with P.S. Thiagarajan.
    CONCUR, Brno, Czech Republic, 2002, LNCS 2421 © Springer-Verlag
    Abstract, Postscript

  • Timed Control Synthesis for External Specifications
    with Deepak D'Souza, CMI.
    STACS, Antibes - Juan les Pins, France, 2002,
    LNCS 2285 © Springer-Verlag
    Abstract, Postscript

  • Branching-time controllers for discrete event systems
    with P.S. Thiagarajan, CMI.
    CONCUR '98 Special Issue, Theoretical Computer Science,
    274 1-2 (2002) © Elsevier Sceince
    Abstract, Postscript, PDF (actual journal version)

    • 2001

  • Control and Synthesis of Open Reactive Systems
    Ph.D. thesis, November 2001
    Abstract, Postscript

  • Beyond Message Sequence Graphs
    with B. Meenakshi.
    21st FSTTCS, Bangalore, India, 2001, LNCS 2245 © Springer-Verlag
    Abstract, Postscript

  • Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs
    28th ICALP, Crete, Greece, 2001, LNCS 2076 © Springer-Verlag
    Abstract, Postscript

  • Distributed Controller Synthesis for Local Specifications
    with P.S. Thiagarajan.
    28th ICALP, Crete, Greece, 2001, LNCS 2076 © Springer-Verlag
    Abstract, Postscript

    • Before 2000

  • Open systems in reactive environments: Control and Synthesis
    with Orna Kupferman, P.S. Thiagarajan, Moshe Vardi.
    11th CONCUR, Penn. State Univ., USA, 2000, LNCS 1877 © Springer-Verlag
    Abstract, Postscript

  • Controllers for discrete event systems via morphisms
    with P.S. Thiagarajan, CMI.
    9th CONCUR, Nice, France, 1998, LNCS 1466 © Springer-Verlag
    Abstract, Postscript

  • On-the-fly verification of Product-LTL
    with Deepak D'Souza, CMI.
    National Seminar on Theoretical Computer Science, Madras, June '97.
    Abstract, Postscript

  • An on-the-fly algorithm for linear-time temporal logic
    M.Sc. thesis, 1994
    Abstract, Postscript