This site will look much better in a browser that supports web standards, but it is accessible to any browser or Internet device.

JIST - Java Interface Synthesis Tool

Publications

  • Synthesis of Interface Specifications for Java Classes
    Version 2, July 2004.
    R. Alur, Pavol Cerny, P. Madhusudan, and W. Nam.
    32nd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Prog. Languages,
    POPL'05, Long Beach, California, Jan 12-14, 2005.
    Paper in PDF

  • Synthesis of Interface Specifications for Java Classes
    Version 1, January 2004.
    R. Alur, Pavol Cerny, Gunjan Gupta, P. Madhusudan, W. Nam and Anshuman Srivastava.
    UPenn CIS Technical Report
    Paper in PDF



    • Background publications

  • Symbolic Computational Techniques for Solving Games
    P. Madhusudan, W. Nam and R. Alur.
    First Int'l workshop on Bounded Model Checking,
    CAV affiliated workshop, Boulder, Colorado, 2003.
    Issue 4, Volume 89, Electronic Notes in Theoretical Computer Science (ENTCS).
    Paper in PDF

    Full version: Under submission
    Special Issue
    International Journal on Software Tools for Technology Transfer (STTT)

  • A Temporal Logic for Nested Calls and Returns
    R. Alur, K. Etessami and P. Madhusudan.
    TACAS, Barcelona, Spain, 2004. LNCS
    Paper in PDF

  • Modular Strategies for Recursive Game Graphs
    R. Alur, S. La Torre and P. Madhusudan.
    9th TACAS, Warsaw, Poland, 2003, LNCS
    Paper in PDF