Ankush Das

According to our database, Ankush Das authored at least 23 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Parametric Subtyping for Structural Parametric Polymorphism.

Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das

Proc. ACM Program. Lang., January, 2024

2023

Probabilistic Resource-Aware Session Types.

Ankush Das, Di Wang, Jan Hoffmann

Proc. ACM Program. Lang., January, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Nested Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

ACM Trans. Program. Lang. Syst., 2022

Rast: A Language for Resource-Aware Session Types.

Ankush Das, Frank Pfenning

Log. Methods Comput. Sci., 2022

Polarized Subtyping.

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2022

2021

Resource-Aware Session Types for Digital Contracts.

Ankush Das

PhD thesis, 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, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Session Types with Arithmetic Refinements and Their Application to Work Analysis.

Ankush Das, Frank Pfenning

CoRR, 2020

Exact and Linear-Time Gas-Cost Analysis.

Ankush Das, Shaz Qadeer

Proceedings of the Static Analysis - 27th International Symposium, 2020

Verified Linear Session-Typed Concurrent Programming.

Ankush Das, Frank Pfenning

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description).

Ankush Das, Frank Pfenning

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Session Types with Arithmetic Refinements.

Ankush Das, Frank Pfenning

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Resource-Aware Session Types for Digital Contracts.

Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning

CoRR, 2019

2018

Parallel complexity analysis with temporal session types.

Ankush Das, Jan Hoffmann, Frank Pfenning

Proc. ACM Program. Lang., 2018

Work Analysis with Resource-Aware Session Types.

Ankush Das, Jan Hoffmann, Frank Pfenning

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

ML for ML: Learning Cost Semantics by Experiment.

Ankush Das, Jan Hoffmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Towards automatic resource bound analysis for OCaml.

Jan Hoffmann, Ankush Das, Shu-Chun Weng

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On Petri Nets with Hierarchical Special Arcs.

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Precise Null Pointer Analysis Through Global Value Numbering.

Ankush Das, Akash Lal

Proceedings of the Automated Technology for Verification and Analysis, 2017

2015

On Pure Nash Equilibria in Stochastic Games.

Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak

Proceedings of the Theory and Applications of Models of Computation, 2015

Angelic Verification: Precise Verification Modulo Unknowns.

Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

Proceedings of the Computer Aided Verification - 27th International Conference, 2015