Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 |
![]() |
Aananthakrishnan, Sriram | A composable static analysis framework for program analysis | Computer science; applied sciences; compositional analysis | 2016 | dissertation |
2 |
![]() |
Chiang, Wei-fan | Efficient floating-point error testing and rigorous mixed precision tuning | floating-point error testing; mixed-precision tuning; optimization; Computer science | 2016 | dissertation |