Projects per year
Search results
-
Active
Collaborative Research: SHF: Medium: Precise Static Analysis of Event-based Systems
Neamtiu, I. (PI)
9/24/18 → 9/30/25
Project: Research project
-
Finished
SHF: Small: Program Analysis for Dependable Clustering
Neamtiu, I. (PI)
10/1/20 → 9/30/23
Project: Research project
-
Twc: Small: Collaborative: Improving Android Security With Dynamic Slicing
Neamtiu, I. (PI)
9/1/16 → 8/31/19
Project: Research project
-
Career: Differential Types And Declarative Hypothesis Testing For Software Evolution
Neamtiu, I. (PI)
9/1/15 → 3/31/17
Project: Research project
-
Tc: Medium: Collaborative Research: Program Analysis For Smartphone Application Security
Neamtiu, I. (PI)
9/1/15 → 8/31/17
Project: Research project
-
-
CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution
Neamtiu, I. (PI)
4/1/12 → 6/30/16
Project: Research project
-
PLDI'12 and Trends in Concurrency'12 Travel Support
Neamtiu, I. (PI)
4/1/12 → 9/30/12
Project: Research project
-
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
Neamtiu, I. (PI)
4/15/11 → 7/31/16
Project: Research project
-
SHF: Medium: Programmable Monitoring Framework for Multicore Systems
Gupta, R. (PI) & Neamtiu, I. (CoPI)
9/1/10 → 8/31/14
Project: Research project