关注
Ankush Das
Ankush Das
Assistant Professor, Boston University
在 bu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1682017
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
672021
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
482018
Angelic verification: Precise verification modulo unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
462015
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
392018
Robust method to find layout similarity between two documents
RB Agrawal, A Godi, A Das
US Patent 9,235,758, 2016
282016
Nested Session Types
A Das, H DeYoung, A Mordido, F Pfenning
30th European Symposium on Programming, ESOP 2021, Held as Part of the …, 2021
232021
Session types with arithmetic refinements
A Das, F Pfenning
arXiv preprint arXiv:2005.05970, 2020
202020
Rast: Resource-aware session types with arithmetic refinements
A Das, F Pfenning
Leibniz international proceedings in informatics 167, 2020
152020
Rast: A language for resource-aware session types
A Das, F Pfenning
Logical Methods in Computer Science 18, 2022
122022
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
122015
Verified linear session-typed concurrent programming
A Das, F Pfenning
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
112020
Subtyping on nested polymorphic session types
A Das, H DeYoung, A Mordido, F Pfenning
arXiv preprint arXiv:2103.15193, 2021
10*2021
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
92022
On petri nets with hierarchical special arcs
S Akshay, S Chakraborty, A Das, V Jagannath, S Sandeep
arXiv preprint arXiv:1707.01157, 2017
82017
Exact and Linear-Time Gas-Cost Analysis
A Das, S Qadeer
International Static Analysis Symposium, 333-356, 2020
72020
Session types with arithmetic refinements and their application to work analysis
A Das, F Pfenning
arXiv preprint arXiv:2001.04439, 2020
72020
Precise Null Pointer Analysis Through Global Value Numbering
A Das, A Lal
International Symposium on Automated Technology for Verification and Analysis, 2017
72017
ML for ML: learning cost semantics by experiment
A Das, J Hoffmann
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
62017
Probabilistic resource-aware session types
A Das, D Wang, J Hoffmann
Proceedings of the ACM on Programming Languages 7 (POPL), 1925-1956, 2023
52023
系统目前无法执行此操作，请稍后再试。
文章 1–20