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-19-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

CMU-ISR-19-104
Unavailable to Date

CMU-ISR-19-105
Can Machine Learning Help People Configue Their Mobile App Privacy Settings?
Bin Liu, Ph.D. Thesis
Abstract, .pdf

CMU-ISR-19-106
Modeling User Behavior on Socio-Technical Systems: Patterns and Anomalies
Hemank Lamba, Ph.D. Thesis
Abstract, .pdf


Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu