Concepedia

Ankush Das

AD

5

Publications

171

Citations

5

H-Index

2016

Active since

Affiliations

Carnegie Mellon University(Current)

Yale University

Ankush Das is an author at Carnegie Mellon University specializing in engineering, formal methods, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareFormal VerificationComputer EngineeringParallel ProgrammingComputational Complexity

Publications per year

2016–2023

5

Publications

5

Towards automatic resource bound analysis for OCaml

Jan Hoffmann, Ankush Das, Shu-Chun Weng · 2016 · 110 citations

Multivariate Resource Polynomials, Engineering, Computer Architecture +18

Towards automatic resource bound analysis for OCaml

Jan Hoffmann, Ankush Das, Shu-Chun Weng · ACM SIGPLAN Notices · 2017 · 21 citations · Full text

Multivariate Resource Polynomials, Engineering, Computer Architecture +18

Resource-Aware Session Types for Digital Contracts

Ankush Das, Stephanie Balzer, Jan Hoffmann et al. · 2021 · 19 citations · Full text

Engineering, Software Engineering, Transactional System +22

Probabilistic Resource-Aware Session Types

Ankush Das, Di Wang, Jan Hoffmann · Proceedings of the ACM on Programming Languages · 2023 · 11 citations · Full text

Engineering, Computational Complexity, Probabilistic Computation +18

Verified Linear Session-Typed Concurrent Programming

Ankush Das, Frank Pfenning · 2020 · 10 citations · Full text

Engineering, Verification, Concurrent System +16

Rows per page

1–5 of 5