| | Date | Author | Title | Department | Publication Type |
|---|
| 1 |  | 2012-08 | Zhao, Lu | A program logic and its application in fully verified software fault isolation | Computing | dissertation |
| 2 |  | 2012-08 | Nelson, Blake William | Accurate and interactive visualization of high-order finite element fields | Computing | dissertation |
| 3 |  | 2012-05 | Martin, Tobias | Analysis-aware higher order smooth three-dimensional representations: creation, simulation and visualization | Computing | dissertation |
| 4 |  | 2012-12 | Ramani, Karthik | COGENE: an automated design framework for domain-specific architectures | Computing | dissertation |
| 5 |  | 2012-08 | Jadhav, Shreeraj | Consistent representation of two-dimensional flow | Computing | thesis |
| 6 |  | 2012-08 | Ward, Stephen J. | Deformation embedding for point-based elastoplastic simulation | Computing | thesis |
| 7 |  | 2012-05 | Udipi, Aniruddha N. | Designing efficient memory for future computing systems | Computing | dissertation |
| 8 |  | 2012-12 | Probst, Matthew Jared | Distributed friend-to-friend framework and services using social networks | Computing | dissertation |
| 9 |  | 2012-12 | Lakshmane Gowda, Prarthana | Exploring bluetooth for received signal strength indicator-based secret key extraction | Computing | thesis |
| 10 |  | 2012-12 | Wang, Dafang | Finite element solutions to inverse Electrocardiography | Computing | dissertation |
| 11 |  | 2012-05 | Ramalingam, Shreyas | Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study | Computing | thesis |
| 12 |  | 2012-05 | Koop, David Allen | Managing provenance for knowledge discovery and reuse | Computing | dissertation |
| 13 |  | 2012-12 | Tran, Lethuy Thi | Numerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian method | Computing | dissertation |
| 14 |  | 2012-12 | Brownlee, Carson | Parallel ray tracing in scientific visualization | Computing | dissertation |
| 15 |  | 2012-12 | Saha, Avishek | Some models and measures for learning on a budget | Computing | dissertation |
| 16 |  | 2012-08 | Pastor Acosta, Isaac | Upper limb rehabilitation of stroke patients using Kinect and computer games | Computing | thesis |
| 17 |  | 2012-08 | Choudhury, A.N.M. Imroz | Visualizing program memory behavior using memory reference traces | Computing | dissertation |
