Home
Publication
Tools
Profile
Activities
Links

Publications

(Most online papers are Author's version with correcting some typos.)

  • Xin Li, Hua Vy Le Thanh.
    A Formal Framework for Access Rights Analysis.
    Jaist Technical Report IS-RR-2012-001.

  • Xin Li, Mizuhito Ogawa.
    Modular Stacking-based Context-Sensitive Program Analysis.
    Jaist Technical Report IS-RR-2011-002

  • Xin Li, Mizuhito Ogawa.
    Conditional Weighted Pushdown Systems and Applications.
    Proceedings of ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10), pp.141-150.

  • Xin Li, Mizuhito Ogawa.
    Stacking-based Context-Sensitive Points-to Analysis for Java.
    Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, (HVC 2009), Haifa, Israel, October 19-22, 2009. Springer LNCS, pp.133-149.

  • Xin Li, Mizuhito Ogawa.
    An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.
    The 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09).
    ENTCS17798 in Elsevier.

  • Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga Rajan and Sarfraz Khurshid.
    Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.
    Proceedings of the Sixth ASIAN Symposium on Programming Languages and Systems (APLAS'08),Springer LNCS 5356, pp.36-52.

  • Xin Li, Mizuhito Ogawa.
    Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking.
    Proceedings of the 5th International Workshop on Automated Verification of Infinite-State Systems (AVIS'06).

  • Xin Li, Mizuhito Ogawa.
    A Lightweight Mutual Authentication based on Proxy Certificate Trust List.
    Computer Software (Japanese Journal), Vol.22, No.2, pp.85-89, 2005.


    		•