Ankush Das

Identifiers

No identifiers captured yet.

Papers (5)

1. Parallel Complexity Analysis with Temporal Session Types cs.PL · 2018 · author #1
2. Work Analysis with Resource-Aware Session Types cs.PL · 2017 · author #1
3. On Petri Nets with Hierarchical Special Arcs cs.LO · 2017 · author #3
4. Precise Null Pointer Analysis Through Global Value Numbering cs.PL · 2017 · author #1
5. Towards Automatic Resource Bound Analysis for OCaml cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan Hoffmann 3 shared papers
• Frank Pfenning 2 shared papers
• Akash Lal 1 shared papers
• Sai Sandeep 1 shared papers
• S. Akshay 1 shared papers
• Shu-Chun Weng 1 shared papers
• Supratik Chakraborty 1 shared papers
• Vishal Jagannath 1 shared papers