Ankush Das
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Practical Refinement Session Type Inference. | Toby Ueno, Ankush Das |
| 2023 | CAV | Automated Analyses of IOT Event Monitoring Systems. | Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav |
| 2022 | ESOP | Polarized Subtyping. | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2021 | ESOP | Nested Session Types. | Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2020 | CONCUR | Session Types with Arithmetic Refinements. | Ankush Das, Frank Pfenning |
| 2020 | FSCD | Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). | Ankush Das, Frank Pfenning |
| 2020 | PPDP | Verified Linear Session-Typed Concurrent Programming. | Ankush Das, Frank Pfenning |
| 2020 | SAS | Exact and Linear-Time Gas-Cost Analysis. | Ankush Das, Shaz Qadeer |
| 2018 | LICS | Work Analysis with Resource-Aware Session Types. | Ankush Das, Jan Hoffmann, Frank Pfenning |
| 2017 | ATVA | Precise Null Pointer Analysis Through Global Value Numbering. | Ankush Das, Akash Lal |
| 2017 | CONCUR | On Petri Nets with Hierarchical Special Arcs. | S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep |
| 2017 | POPL | Towards automatic resource bound analysis for OCaml. | Jan Hoffmann, Ankush Das, Shu-Chun Weng |
| 2017 | TACAS | ML for ML: Learning Cost Semantics by Experiment. | Ankush Das, Jan Hoffmann |
| 2015 | CAV | Angelic Verification: Precise Verification Modulo Unknowns. | Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li |
| 2015 | TAMC | On Pure Nash Equilibria in Stochastic Games. | Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak |