Angelic Verification: Precise Verification Modulo Unknowns. - Ankush Das; Shuvendu K. Lahiri; Akash Lal; Yi Li 008 (CAV (1), 2015)

On Pure Nash Equilibria in Stochastic Games. - Ankush Das; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001; Dominik Wojtczak (TAMC, 2015)

Precise Null Pointer Analysis Through Global Value Numbering. - Ankush Das; Akash Lal (ATVA, 2017)

On Petri Nets with Hierarchical Special Arcs. - S. Akshay 001; Supratik Chakraborty; Ankush Das; Vishal Jagannath; Sai Sandeep (CONCUR, 2017)

Towards automatic resource bound analysis for OCaml. - Jan Hoffmann 002; Ankush Das; Shu-Chun Weng (POPL, 2017)

ML for ML: Learning Cost Semantics by Experiment. - Ankush Das; Jan Hoffmann 002 (TACAS (1), 2017)

Work Analysis with Resource-Aware Session Types. - Ankush Das; Jan Hoffmann 002; Frank Pfenning (LICS, 2018)

Parallel complexity analysis with temporal session types. - Ankush Das; Jan Hoffmann 002; Frank Pfenning (Proc. ACM Program. Lang., 2018)

Resource-Aware Session Types for Digital Contracts. - Ankush Das; Stephanie Balzer; Jan Hoffmann 002; Frank Pfenning (CoRR, 2019)

Session Types with Arithmetic Refinements. - Ankush Das; Frank Pfenning (CONCUR, 2020)

Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). - Ankush Das; Frank Pfenning (FSCD, 2020)

Verified Linear Session-Typed Concurrent Programming. - Ankush Das; Frank Pfenning (PPDP, 2020)

Exact and Linear-Time Gas-Cost Analysis. - Ankush Das; Shaz Qadeer (SAS, 2020)

Session Types with Arithmetic Refinements and Their Application to Work Analysis. - Ankush Das; Frank Pfenning (CoRR, 2020)

Resource-Aware Session Types for Digital Contracts. - Ankush Das; Stephanie Balzer; Jan Hoffmann 002; Frank Pfenning; Ishani Santurkar (CSF, 2021)

Subtyping on Nested Polymorphic Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (CoRR, 2021)

Resource-Aware Session Types for Digital Contracts. - Ankush Das (2021)

Polarized Subtyping. - Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ESOP, 2022)

Rast: A Language for Resource-Aware Session Types. - Ankush Das; Frank Pfenning (Log. Methods Comput. Sci., 2022)

Nested Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ACM Trans. Program. Lang. Syst., 2022)

Automated Analyses of IOT Event Monitoring Systems. - Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma 001; Michael W. Whalen; Raveesh Yadav (CAV (1), 2023)

Probabilistic Resource-Aware Session Types. - Ankush Das; Di Wang 017; Jan Hoffmann 002 (Proc. ACM Program. Lang., 2023)

Parametric Subtyping for Structural Parametric Polymorphism. - Henry DeYoung; Andreia Mordido; Frank Pfenning; Ankush Das (Proc. ACM Program. Lang., 2024)

Probabilistic Refinement Session Types. - Qiancheng Fu; Ankush Das; Marco Gaboardi (Proc. ACM Program. Lang., 2025)