| 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 | 141 | 2017 |
| 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 | 59 | 2021 |
| Angelic verification: Precise verification modulo unknowns A Das, SK Lahiri, A Lal, Y Li Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 41 | 2015 |
| 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 | 40 | 2018 |
| 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 | 36 | 2018 |
| Session types with arithmetic refinements and their application to work analysis A Das, F Pfenning arXiv preprint arXiv:2001.04439, 2020 | 28 | 2020 |
| Robust method to find layout similarity between two documents RB Agrawal, A Godi, A Das US Patent 9,235,758, 2016 | 24 | 2016 |
| Nested Session Types A Das, H DeYoung, A Mordido, F Pfenning 30th European Symposium on Programming, ESOP 2021, Held as Part of the …, 2021 | 22 | 2021 |
| Rast: Resource-aware session types with arithmetic refinements A Das, F Pfenning Leibniz international proceedings in informatics 167, 2020 | 18 | 2020 |
| Verified linear session-typed concurrent programming A Das, F Pfenning Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 12 | 2020 |
| On pure nash equilibria in stochastic games A Das, SN Krishna, L Manasa, A Trivedi, D Wojtczak Theory and Applications of Models of Computation: 12th Annual Conference …, 2015 | 9 | 2015 |
| ML for ML: learning cost semantics by experiment A Das, J Hoffmann Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 8 | 2017 |
| Rast: A Language for Resource-Aware Session Types A Das, F Pfenning arXiv preprint arXiv:2012.13129, 2020 | 7 | 2020 |
| Rast implementation A Das, F Derakhshan, F Pfenning Retrieved November 11, 2019, 2019 | 7* | 2019 |
| On petri nets with hierarchical special arcs S Akshay, S Chakraborty, A Das, V Jagannath, S Sandeep arXiv preprint arXiv:1707.01157, 2017 | 7 | 2017 |
| Precise Null Pointer Analysis Through Global Value Numbering A Das, A Lal International Symposium on Automated Technology for Verification and Analysis, 2017 | 7 | 2017 |
| Subtyping on nested polymorphic session types A Das, H DeYoung, A Mordido, F Pfenning arXiv preprint arXiv:2103.15193, 2021 | 6* | 2021 |
| Exact and Linear-Time Gas-Cost Analysis A Das, S Qadeer International Static Analysis Symposium, 333-356, 2020 | 6 | 2020 |
| Probabilistic resource-aware session types A Das, D Wang, J Hoffmann Proceedings of the ACM on Programming Languages 7 (POPL), 1925-1956, 2023 | 4* | 2023 |
| Polarized Subtyping Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning Programming Languages and Systems: 31st European Symposium on Programming …, 2022 | 2 | 2022 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
