Ankush Das

Registered user since Fri 28 Oct 2016

Name: Ankush Das

Bio: Ankush Das is a final year PhD student at Carnegie Mellon University. He is advised by Prof. Jan Hoffmann. He is broadly interested in programming languages with a specific focus on resource analysis, session types and language design for smart contracts on the blockchain. He is the lead designer and developer of Nomos, a domain-specific language for implementing smart contracts based on resource-aware session types. In the past, he has worked jointly with Prof. Frank Pfenning and his advisor on designing resource-aware session types for parallel complexity analysis of concurrent programs implemented in a programming language called Rast. Before joining CMU, he worked as a Research Fellow at Microsoft Research, India with Akash Lal where he developed an efficient method to perform precise alias analysis for C and C++ programs for Windows driver modules to automatically infer safe null pointer dereferences. He completed his undergraduate at IIT Bombay, India in 2014 where he worked with Prof. Supratik Chakraborty and Prof. Akshay S on deciding termination of linear loop programs.

Country: United States

Affiliation: Carnegie Mellon University

Personal website:



Research interests: Programming Languages


SAS 2020 Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track
SPLASH 2020 Mentor in Mentors within the PLMW-track
DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
PLDI 2019 Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2018 Author of Parallel Complexity Analysis with Temporal Session Types within the Research Papers-track
POPL 2017 Author of Towards Automatic Resource Bound Analysis for OCaml within the POPL-track