ISR TECHNICAL REPORTS 2019
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
412.268.8525 – 412.268.5576 (fax)


Technical Reports by Author
Theses by Author

CMU-ISR-19-100
ORA User's Guide 2019
Neal Altman, Kathleen M. Carley, Jeffrey Reminga
Abstract, .pdf
Supersedes CMU-ISR-18-103

CMU-ISR-18-101
Automated Program Transformation for Improving Software Quality
Rijnard van Tonder, Ph.D. Thesis
Abstract, .pdf

CMU-ISR-19-102
A Translation Proof of NOminal Wyvern Soundness
Yu Xiang Zhu, Julian Mackay, Alex Potanin, Jonathan Aldrich
Abstract, .pdf

CMU-ISR-19-103
Unavailable to Date


Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu