TO
1 - 25 of 2
| 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 |
1 - 25 of 2