Ankush Das
Scholar

Ankush Das

Google Scholar ID: yd-uFwMAAAAJ
Assistant Professor, Boston University
Programming LanguagesProgram AnalysisType SystemsFormal MethodsConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
699
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
23
list available
Contact
No contact links provided.
Publications
3 items
A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs
2026
Cited
0
Practical Refinement Session Type Inference (Extended Version)
2026
Cited
0
Dependent Session Types for Verified Concurrent Programming
2025
Cited
0
Resume (English only)
Co-authors
23 total
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Jan Hoffmann
Jan Hoffmann
Carnegie Mellon University
Andreia Mordido
Andreia Mordido
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Akash Lal
Akash Lal
Microsoft Research, India
Shuvendu Lahiri
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Yi Li
Yi Li
Nanyang Technological University
Co-author 7
Co-author 7
Ashutosh Trivedi
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder