Ankush Das
Ankush Das
PhD student of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Towards automatic resource bound analysis for OCaml
J Hoffmann, A Das, SC Weng
ACM SIGPLAN Symposium on Principles of Programming Languages 52 (1), 359-373, 2017
1022017
Angelic verification: Precise verification modulo unknowns
A Das, SK Lahiri, A Lal, Y Li
International Conference on Computer Aided Verification, 324-342, 2015
282015
Work analysis with resource-aware session types
A Das, J Hoffmann, F Pfenning
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
202018
Parallel complexity analysis with temporal session types
A Das, J Hoffmann, F Pfenning
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
172018
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
arXiv preprint arXiv:1902.06056, 2019
132019
Robust method to find layout similarity between two documents
RB Agrawal, A Godi, A Das
US Patent 9,235,758, 2016
92016
Session Types with Arithmetic Refinements and Their Application to Work Analysis
A Das, F Pfenning
arXiv preprint arXiv:2001.04439, 2020
72020
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
A Das, F Pfenning
5th International Conference on Formal Structures for Computation and …, 2020
52020
On pure nash equilibria in stochastic games
A Das, SN Krishna, L Manasa, A Trivedi, D Wojtczak
International Conference on Theory and Applications of Models of Computation …, 2015
52015
On petri nets with hierarchical special arcs
S Akshay, S Chakraborty, A Das, V Jagannath, S Sandeep
arXiv preprint arXiv:1707.01157, 2017
42017
Precise Null Pointer Analysis Through Global Value Numbering
A Das, A Lal
International Symposium on Automated Technology for Verification and Analysis, 2017
42017
Verified Linear Session-Typed Concurrent Programming
A Das, F Pfenning
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
32020
ML for ML: learning cost semantics by experiment
A Das, J Hoffmann
International Conference on Tools and Algorithms for the Construction and …, 2017
32017
Exact and Linear-Time Gas-Cost Analysis
A Das, S Qadeer
2
Probabilistic Resource-Aware Session Types
A Das, D Wang, J Hoffmann
arXiv preprint arXiv:2011.09037, 2020
2020
Nested Polymorphic Session Types
A Das, H DeYoung, A Mordido, F Pfenning
arXiv preprint arXiv:2010.06482, 2020
2020
Learning Cost Semantics for Modeling Running Time of OCaml Programs
A Das, J Hoffmann
Syntax and Semantics of Low-Level Languages, 2016
2016
Programming Language Principles for Distributed Systems
A Das
Termination of Initialized Rational Linear Programs
A Das, S Chakraborty, S Akshay
The system can't perform the operation now. Try again later.
Articles 1–19