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 |