← Leaderboards
Professor Arvind
Massachusetts Institute Of Technology
$1,587,834
Attributed
$3,061,001
Total exposure
5
Grants
3
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $1.2M · FY2006–24$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$3,061,001 · 5
By mechanism
—$3,061,001 · 5
Top collaborators
- Adam J Chlipala1 shared
- Krste Asanovic1 shared
- Mengjia Yan1 shared
- Saman P Amarasinghe1 shared
- Srini Devadas1 shared
Grant awards (5)
Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures$400,000
· FY2024 · CSE
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors$1,216,000
· FY2021 · CSE
SPX: Collaborative Research: Mongo Graph Machine (MGM): A Flash-Based Appliance for Large Graph Analytics$520,001
· FY2017 · CSE · contact PI
CPA-CPL: A hardware-design inspired methodology for parallel programming$375,000
· FY2008 · CSE · contact PI
Generating High-Quality Complex Digital Systems from High-Level Specifications$550,000
· FY2006 · CSE · contact PI