SOFTWARE AND SOCIETAL SYSTEMS TECHNICAL REPORTS 2026
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
412.268.8525


Technical Reports by Author
Theses by Author

CMU-S3D-26-100
Narrative Design for Self-Efficacy Games
Morgan C. Evans, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-101
The Foundations of Cyber Social Agents
Lynnette Hui Xian Ng, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-102
Facilitating Collaboration in Building Machine Learning Products
Nadia Nahar, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-103
Forensic Analysis of Observed Social Networks
Daniele Bellutta, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-104
OPIEM: An Operationalized Model of the Information Environment
Jacob Shaha, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-105
Supporting the Sustainable Use of Open Source Software
Courtney Elta Miller, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-106
Misinformation on Search Engines: Networked Characterization and Identification
Evan M. Williams, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-107
Populations That Think, Beliefs That Move: Modeling Opinion Dynamics in Synthetic Populations for Social-Cyber Influence
Rebecca Marigliano, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-26-108
Practical Concurrency Testing
Ao Li, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-26-109
Automating Software Testing with Intelligent Input Generation
Vasudev Vikram, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-26-110
Bootstrapping Contextual Understanding in Privacy-Preserving Smart Environments
Prasoon Patidar, Ph.D. Thesis
Abstract, .pdf Pending

CMU-S3D-26-111
Specification-Driven Planning for Safe Autonomy
Parv Kapoor, Ph.D. Thesis
Abstract, .pdf Pending


Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu