Ankush Das
9225 Gates and Hillman Center
Carnegie Mellon University, PA 15213 | ankushd at cs dot cmu dot edu

Conference Articles


  1. On Petri Nets with Hierarchical Special Arcs

    S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath and Sai Sandeep

    In Proceedings of the 28th International Conference on Concurrency Theory

    CONCUR 2017 (pdf)

  2. Precise Null Pointer Analysis Through Global Value Numbering

    Ankush Das, Akash Lal

    In Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis

    ATVA 2017 (pdf)

  3. ML for ML: Learning Cost Semantics by Experiment

    Ankush Das, Jan Hoffmann

    In Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems

    TACAS 2017 (short version | long version)

  4. Towards Automatic Resource Bound Analysis for OCaml

    Jan Hoffmann, Ankush Das, Shu-Chun Weng

    In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

    POPL 2017 (pdf)

  5. Angelic Verification: Precise Verification Modulo Unknowns

    Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

    In Proceedings of the 27th International Conference on Computer Aided Verification

    CAV 2015 (pdf)

  6. On Pure Nash Equilibria in Stochastic Games

    Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak

    In Proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation

    TAMC 2015 (pdf)


Workshop Papers