Ankush Das

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