1 citations · 1 across the 2 of their papers we have counts for
5 papers
Session Types with Arithmetic Refinements
Ankush Das, Frank Pfenning
Session types statically prescribe bidirectional communication protocols for message-passing processes. However, simple session types cannot specify properties beyond the type of e…
Session Types with Arithmetic Refinements and Their Application to Work Analysis
Ankush Das, Frank Pfenning
Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. Howe…
Resource-Aware Session Types for Digital Contracts
Ankush Das, Stephanie Balzer, Jan Hoffmann +2
Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventi…
On Petri Nets with Hierarchical Special Arcs
S. Akshay, Supratik Chakraborty, Ankush Das +2
We investigate the decidability of termination, reachability, coverability and deadlock-freeness of Petri nets endowed with a hierarchy on places, and with inhibitor arcs, reset ar…
Precise Null Pointer Analysis Through Global Value Numbering
Ankush Das, Akash Lal
Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability…