Practical Refinement Session Type Inference.

Ankush Das https://orcid.org/0000-0003-2459-1258 https://www.wikidata.org/entity/Q130964421 Toby Ueno Ankush Das Practical Refinement Session Type Inference. ESOP (2) 2026 298-330 conf/esop/2026-2 https://doi.org/10.1007/978-3-032-22723-2_11 db/conf/esop/esop2026-2.html#UenoD26 streams/conf/esop

Toby Ueno Ankush Das Practical Refinement Session Type Inference (Extended Version). 2026 February abs/2602.06715 CoRR https://doi.org/10.48550/arXiv.2602.06715 db/journals/corr/corr2602.html#abs-2602-06715 streams/journals/corr

june wunder Ankush Das Marco Gaboardi A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs. 2026 July abs/2607.27074 CoRR https://doi.org/10.48550/arXiv.2607.27074 db/journals/corr/corr2607.html#abs-2607-27074 streams/journals/corr

Qiancheng Fu Ankush Das Marco Gaboardi Probabilistic Refinement Session Types. 1666-1691 2025 9 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3729317 db/journals/pacmpl/pacmpl9.html#FuDG25 streams/journals/pacmpl

Qiancheng Fu Hongwei Xi 0001 Ankush Das Dependent Session Types for Verified Concurrent Programming. 2025 October abs/2510.19129 CoRR https://doi.org/10.48550/arXiv.2510.19129 db/journals/corr/corr2510.html#abs-2510-19129 streams/journals/corr

Henry DeYoung Andreia Mordido Frank Pfenning Ankush Das Parametric Subtyping for Structural Parametric Polymorphism. 2700-2730 2024 January 8 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3632932 https://www.wikidata.org/entity/Q130964422 db/journals/pacmpl/pacmpl8.html#DeYoungMPD24

Ankush Das Di Wang 0017 Jan Hoffmann 0002 Probabilistic Resource-Aware Session Types. 1925-1956 2023 January 7 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3571259 db/journals/pacmpl/pacmpl7.html#DasWH23

Andrew Apicelli Sam Bayless Ankush Das Andrew Gacek Dhiva Jaganathan Saswat Padhi Vaibhav Sharma 0001 Michael W. Whalen Raveesh Yadav Automated Analyses of IOT Event Monitoring Systems. 27-39 2023 CAV (1) https://doi.org/10.1007/978-3-031-37706-8_2 https://www.wikidata.org/entity/Q124335145 conf/cav/2023-1 db/conf/cav/cav2023-1.html#ApicelliBDGJPSWY23

Henry DeYoung Andreia Mordido Frank Pfenning Ankush Das Parametric Subtyping for Structural Parametric Polymorphism. 2023 abs/2307.13661 CoRR https://doi.org/10.48550/arXiv.2307.13661 db/journals/corr/corr2307.html#abs-2307-13661

Ankush Das Frank Pfenning Rast: A Language for Resource-Aware Session Types. 2022 18 Log. Methods Comput. Sci. 1 https://doi.org/10.46298/lmcs-18(1:9)2022 db/journals/lmcs/lmcs18.html#DasP22

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Nested Session Types. 19:1-19:45 2022 44 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/3539656 https://www.wikidata.org/entity/Q114070989 db/journals/toplas/toplas44.html#DasDMP22

Zeeshan Lakhani Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Polarized Subtyping. 431-461 2022 ESOP https://doi.org/10.1007/978-3-030-99336-8_16 conf/esop/2022 db/conf/esop/esop2022.html#LakhaniDDMP22

Zeeshan Lakhani Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Polarized Subtyping. 2022 abs/2201.10998 CoRR https://arxiv.org/abs/2201.10998 db/journals/corr/corr2201.html#abs-2201-10998

Ankush Das Resource-Aware Session Types for Digital Contracts. Carnegie Mellon University, USA 2021 https://doi.org/10.1184/r1/16919020.v1 Ankush Das Stephanie Balzer Jan Hoffmann 0002 Frank Pfenning Ishani Santurkar Resource-Aware Session Types for Digital Contracts. 1-16 2021 CSF https://doi.org/10.1109/CSF51468.2021.00004 conf/csfw/2021 db/conf/csfw/csfw2021.html#DasB0PS21 Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Nested Session Types. 178-206 2021 ESOP https://doi.org/10.1007/978-3-030-72019-3_7 conf/esop/2021 db/conf/esop/esop2021.html#DasDMP21

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Subtyping on Nested Polymorphic Session Types. 2021 abs/2103.15193 CoRR https://arxiv.org/abs/2103.15193 db/journals/corr/corr2103.html#abs-2103-15193

Ankush Das Frank Pfenning Session Types with Arithmetic Refinements. 13:1-13:18 2020 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2020.13 conf/concur/2020 db/conf/concur/concur2020.html#DasP20 Ankush Das Frank Pfenning Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). 33:1-33:17 2020 FSCD https://doi.org/10.4230/LIPIcs.FSCD.2020.33 conf/fscd/2020 db/conf/fscd/fscd2020.html#DasP20 Ankush Das Frank Pfenning Verified Linear Session-Typed Concurrent Programming. 7:1-7:15 2020 PPDP https://doi.org/10.1145/3414080.3414087 https://www.wikidata.org/entity/Q130878509 conf/ppdp/2020 db/conf/ppdp/ppdp2020.html#DasP20 Ankush Das Shaz Qadeer Exact and Linear-Time Gas-Cost Analysis. 333-356 2020 SAS https://doi.org/10.1007/978-3-030-65474-0_15 conf/sas/2020 db/conf/sas/sas2020.html#DasQ20

Ankush Das Frank Pfenning Session Types with Arithmetic Refinements and Their Application to Work Analysis. 2020 abs/2001.04439 CoRR https://arxiv.org/abs/2001.04439 db/journals/corr/corr2001.html#abs-2001-04439

Ankush Das Frank Pfenning Session Types with Arithmetic Refinements. 2020 abs/2005.05970 CoRR https://arxiv.org/abs/2005.05970 db/journals/corr/corr2005.html#abs-2005-05970

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning Nested Session Types. 2020 abs/2010.06482 CoRR https://arxiv.org/abs/2010.06482 db/journals/corr/corr2010.html#abs-2010-06482

Ankush Das Di Wang 0017 Jan Hoffmann 0002 Probabilistic Resource-Aware Session Types. 2020 abs/2011.09037 CoRR https://arxiv.org/abs/2011.09037 db/journals/corr/corr2011.html#abs-2011-09037

Ankush Das Frank Pfenning Rast: A Language for Resource-Aware Session Types. 2020 abs/2012.13129 CoRR https://arxiv.org/abs/2012.13129 db/journals/corr/corr2012.html#abs-2012-13129

Ankush Das Stephanie Balzer Jan Hoffmann 0002 Frank Pfenning Resource-Aware Session Types for Digital Contracts. 2019 abs/1902.06056 CoRR http://arxiv.org/abs/1902.06056 db/journals/corr/corr1902.html#abs-1902-06056

Ankush Das Jan Hoffmann 0002 Frank Pfenning Parallel complexity analysis with temporal session types. 91:1-91:30 2018 2 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3236786 db/journals/pacmpl/pacmpl2.html#Das0P18

Ankush Das Jan Hoffmann 0002 Frank Pfenning Work Analysis with Resource-Aware Session Types. 305-314 2018 LICS https://doi.org/10.1145/3209108.3209146 conf/lics/2018 db/conf/lics/lics2018.html#Das0P18

Ankush Das Jan Hoffmann 0002 Frank Pfenning Parallel Complexity Analysis with Temporal Session Types. 2018 abs/1804.06013 CoRR http://arxiv.org/abs/1804.06013 db/journals/corr/corr1804.html#abs-1804-06013

Ankush Das Akash Lal Precise Null Pointer Analysis Through Global Value Numbering. 25-41 2017 ATVA https://doi.org/10.1007/978-3-319-68167-2_2 conf/atva/2017 db/conf/atva/atva2017.html#DasL17 S. Akshay 0001 Supratik Chakraborty Ankush Das Vishal Jagannath Sai Sandeep On Petri Nets with Hierarchical Special Arcs. 40:1-40:17 2017 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2017.40 conf/concur/2017 db/conf/concur/concur2017.html#AkshayCDJS17 Jan Hoffmann 0002 Ankush Das Shu-Chun Weng Towards automatic resource bound analysis for OCaml. 359-373 2017 POPL https://doi.org/10.1145/3009837.3009842 https://doi.org/10.1145/3093333.3009842 conf/popl/2017 db/conf/popl/popl2017.html#HoffmannDW17 Ankush Das Jan Hoffmann 0002 ML for ML: Learning Cost Semantics by Experiment. 190-207 2017 TACAS (1) https://doi.org/10.1007/978-3-662-54577-5_11 conf/tacas/2017-1 db/conf/tacas/tacas2017-1.html#Das017

Ankush Das Akash Lal Precise Null Pointer Analysis Through Global Value Numbering. 2017 abs/1702.05807 CoRR http://arxiv.org/abs/1702.05807 db/journals/corr/corr1702.html#DasL17

S. Akshay 0001 Supratik Chakraborty Ankush Das Vishal Jagannath Sai Sandeep On Petri Nets with Hierarchical Special Arcs. 2017 abs/1707.01157 CoRR http://arxiv.org/abs/1707.01157 db/journals/corr/corr1707.html#AkshayCDJS17

Ankush Das Jan Hoffmann 0002 Frank Pfenning Work Analysis with Resource-Aware Session Types. 2017 abs/1712.08310 CoRR http://arxiv.org/abs/1712.08310 db/journals/corr/corr1712.html#abs-1712-08310

Jan Hoffmann 0002 Ankush Das Shu-Chun Weng Towards Automatic Resource Bound Analysis for OCaml. 2016 abs/1611.00692 CoRR http://arxiv.org/abs/1611.00692 db/journals/corr/corr1611.html#HoffmannDW16

Ankush Das Shuvendu K. Lahiri Akash Lal Yi Li 0008 Angelic Verification: Precise Verification Modulo Unknowns. 324-342 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_19 conf/cav/2015-1 db/conf/cav/cav2015-1.html#DasLLL15 Ankush Das Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi 0001 Dominik Wojtczak On Pure Nash Equilibria in Stochastic Games. 359-371 2015 TAMC https://doi.org/10.1007/978-3-319-17142-5_31 conf/tamc/2015 db/conf/tamc/tamc2015.html#DasKMTW15 S. Akshay 0001 Andrew Apicelli Stephanie Balzer Sam Bayless Supratik Chakraborty Henry DeYoung Qiancheng Fu Marco Gaboardi Andrew Gacek Jan Hoffmann 0002 Dhiva Jaganathan Vishal Jagannath S. Krishna 0004Shankara Narayanan Krishna Shuvendu K. Lahiri Zeeshan Lakhani Akash Lal Yi Li 0008 Lakshmi Manasa Andreia Mordido Saswat Padhi Frank Pfenning Shaz Qadeer Sai Sandeep Ishani Santurkar Vaibhav Sharma 0001 Ashutosh Trivedi 0001 Toby Ueno Di Wang 0017 Shu-Chun Weng Michael W. Whalen Dominik Wojtczak june wunder Hongwei Xi 0001 Raveesh Yadav