GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Program Analysis

Program Analysis

12 faculty research Program Analysis on GradNova.

W
Medical Imaging
Program Analysis
Programming Languages
Software Engineering
+6
X
Analysis
Formal Methods
Program Analysis
Programming Languages
+2
N
Narayanasamy, Satish

Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Computer Architecture
Confidential Computing
Health Systems
Program Analysis
H
Cloud and Mobile Computing
Distributed Systems
Operating Systems
Program Analysis
+1
S
Applied Cryptography
Internet Measurement
Program Analysis
System and Software Security
S
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
+11
M
Application of Artificial Intelligence in Program Analysis
Automated Program Repair
Formal Methods
Program Analysis
+6
U
Compilers
Mobile Systems
Program Analysis
Software Engineering
+5
W
Program Analysis
Software Engineering
Software Testing
B
AI Based Software Engineering
Empirical Software Engineering
Program Analysis
Software Testing
+5
D
Computer Security
Mobile and Embedded Software
Privacy
Program Analysis
+6
E
Formal Methods
Program Analysis
Programming Languages and Runtimes
Bayesian Modeling and Causal Inference
+4