Ankush Das

Employment

• Boston University Assistant Professor
  2024 - Present
• Amazon Lab126 Cupertino Applied Scientist
  2021 - 2023

Education

• Carnegie Mellon University PhD
  2015 - 2020

Projects & Funding

Projects & funding information is unavailable.

Publications (36)

• Testing LLM-Generated Distributed Protocol Code
  2026 DOI: 10.1145/3819802.3820581
  +Save
• Probabilistic Refinement Session Types
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3729317
  +Save
• Parametric Subtyping for Structural Parametric Polymorphism
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3632932
  +Save
• Probabilistic Resource-Aware Session Types
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3571259
  +Save
• Automated Analyses of IOT Event Monitoring Systems
  Lecture Notes in Computer Science 2023 DOI: 10.1007/978-3-031-37706-8_2
  +Save
• Nested Session Types
  ACM Transactions on Programming Languages and Systems 2022 DOI: 10.1145/3539656
  +Save
• Rast: A Language for Resource-Aware Session Types
  Logical Methods in Computer Science 2022 DOI: 10.46298/lmcs-18(1:9)2022
  +Save
• Polarized Subtyping
  Lecture Notes in Computer Science 2022 DOI: 10.1007/978-3-030-99336-8_16
  +Save
• Resource-Aware Session Types for Digital Contracts
  2021 IEEE 34th Computer Security Foundations Symposium (CSF) 2021 DOI: 10.1109/csf51468.2021.00004
  +Save
• Subtyping on Nested Polymorphic Session Types
  2021
  +Save