Ankush Das

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 32

Top Topics

Probabilistic Interpretation

Pure Nash Equilibria

Stochastic Games

Top Venues

Proc. ACM Program. Lang.

Publications

Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
Parametric Subtyping for Structural Parametric Polymorphism. Proc. ACM Program. Lang. 8 (POPL) (2024)
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
Parametric Subtyping for Structural Parametric Polymorphism. CoRR (2023)
Ankush Das, Di Wang, Jan Hoffmann
Probabilistic Resource-Aware Session Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
Automated Analyses of IOT Event Monitoring Systems. CAV (1) (2023)
Ankush Das, Frank Pfenning
Rast: A Language for Resource-Aware Session Types. Log. Methods Comput. Sci. 18 (1) (2022)
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. CoRR (2022)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. ESOP (2022)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Subtyping on Nested Polymorphic Session Types. CoRR (2021)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. ESOP (2021)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
Resource-Aware Session Types for Digital Contracts. CSF (2021)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. CoRR (2020)
Ankush Das, Frank Pfenning
Session Types with Arithmetic Refinements. CONCUR (2020)
Ankush Das, Frank Pfenning
Rast: A Language for Resource-Aware Session Types. CoRR (2020)
Ankush Das, Di Wang, Jan Hoffmann
Probabilistic Resource-Aware Session Types. CoRR (2020)
Ankush Das, Shaz Qadeer
Exact and Linear-Time Gas-Cost Analysis. SAS (2020)
Ankush Das, Frank Pfenning
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). FSCD (2020)
Ankush Das, Frank Pfenning
Session Types with Arithmetic Refinements and Their Application to Work Analysis. CoRR (2020)
Ankush Das, Frank Pfenning
Session Types with Arithmetic Refinements. CoRR (2020)
Ankush Das, Frank Pfenning
Verified Linear Session-Typed Concurrent Programming. PPDP (2020)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning
Resource-Aware Session Types for Digital Contracts. CoRR (2019)
Ankush Das, Jan Hoffmann, Frank Pfenning
Parallel Complexity Analysis with Temporal Session Types. CoRR (2018)
Ankush Das, Jan Hoffmann, Frank Pfenning
Parallel complexity analysis with temporal session types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Ankush Das, Jan Hoffmann, Frank Pfenning
Work Analysis with Resource-Aware Session Types. LICS (2018)
Ankush Das, Jan Hoffmann, Frank Pfenning
Work Analysis with Resource-Aware Session Types. CoRR (2017)
Ankush Das, Akash Lal
Precise Null Pointer Analysis Through Global Value Numbering. CoRR (2017)
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
On Petri Nets with Hierarchical Special Arcs. CoRR (2017)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards automatic resource bound analysis for OCaml. POPL (2017)
Ankush Das, Akash Lal
Precise Null Pointer Analysis Through Global Value Numbering. ATVA (2017)
Ankush Das, Jan Hoffmann
ML for ML: Learning Cost Semantics by Experiment. TACAS (1) (2017)
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
On Petri Nets with Hierarchical Special Arcs. CONCUR (2017)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards Automatic Resource Bound Analysis for OCaml. CoRR (2016)
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
Angelic Verification: Precise Verification Modulo Unknowns. CAV (1) (2015)
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
On Pure Nash Equilibria in Stochastic Games. TAMC (2015)