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

Conference Articles

  1. Resource-Aware Session Types for Digital Contracts

    Ankush Das, Stephanie Balzer, Jan Hoffmann and Frank Pfenning

    Under Review (pdf | supplement)

  2. Parallel Complexity Analysis with Temporal Session Types

    Ankush Das, Jan Hoffmann and Frank Pfenning

    Accepted to the 23rd ACM SIGPLAN International Conference on Functional Programming

    ICFP 2018 (pdf | slides | video)

  3. Work Analysis with Resource-Aware Session Types

    Ankush Das, Jan Hoffmann and Frank Pfenning

    In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

    LICS 2018 (pdf | tech report | slides)

  4. 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 | tech report)

  5. 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)

  6. 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 | slides)

  7. 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 | tech report)

  8. 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)

  9. 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