GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
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: https://www.cs.cmu.edu/~ankushd/

Twitter: https://twitter.com/Das8Ankush

GitHub: https://github.com/ankushdas

Research interests: Programming Languages

Contributions

SAS 2020Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track
SPLASH 2020Mentor in Mentors within the PLMW-track
Show activities from other conferences

Using general profile