TO
1 - 25 of 2
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2016 | Aananthakrishnan, Sriram | A composable static analysis framework for program analysis | Computing | dissertation |
| 2 |
 | 2016 | Chiang, Wei-fan | Efficient floating-point error testing and rigorous mixed precision tuning | Computing | dissertation |
1 - 25 of 2