Technical Reports by Author
Theses by Author

CMU-ISR-10-100
The Impact of Interface Complexity on Failures: An Empirical Analysis and Implications for Tool Design
Marcelo Cataldo, Cleidson R.B. de Souza, David L.M. Bentolila, Tales C. Miranda, Sangeeth Nambiar
Abstract, .pdf

CMU-ISR-10-101
Unpublished

CMU-ISR-10-102
Questions about Object Structure during Coding Activities
Marwan Abi-Antoun, Nariman Ammar, Thomas LaToza
Abstract, .ps.zip, .pdf

CMU-ISR-10-103
Unpublished

CMU-ISR-10-104
Coordination Breakdowns and their Impact on Development Productivity and Software Failures
Marcelo Cataldo, James D. Herbsleb
Abstract, .pdf

CMU-ISR-10-105
Capturing Location-Privacy Preferences: Quantifying Accuracy and User-Burden Tradeoffs
Michael Benisch, Patrick Gage Kelley, Norman Sadeh, Lorrie Faith Cranor
Abstract, .pdf

CMU-ISR-10-106
XaSTRIDE-based Security Model in Acme
Marwan Abi-Antoun, Jeffrey M. Barnes
Abstract, .ps.zip, .pdf

CMU-ISR-10-107
Bridging the Gap Between Physical Location and Online Social Networks
Justin Cranshaw, Eran Toch, Jason Hong, Aniket Kittur, Norman Sadeh
Abstract, .pdf

CMU-ISR-10-108
Empirical Models of Privacy in Location Sharing
Eran Toch, Justin Cranshaw, Jason Hong, Patrick Kelly, Janice Tsai,
Lorrie Cranor, Norman Sadeh
Abstract, .pdf

CMU-ISR-10-109
Polymorphic Access Permissions
Nels E. Beckman, Jonathan Aldrich
Abstract, .pdf

CMU-ISR-10-110
A Language-based Approach to Specification and Enforcement of Architectural Protocols
Kevin Bierhoff, Matthew Kehrt, Sangjin Han, Darpan Saini, Majid Al-Meshari, Jonathan Aldrich
Abstract, .pdf

CMU-ISR-10-111
Attentiveness: Reactivity at Scale
Gregory S. Hartman, Ph.D. Thesis (Software Engineering)
Abstract, .pdf

CMU-ISR-10-112
Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties
Timothy J. Halloran, Ph.D. Thesis (Software Engineering)
Abstract, .pdf

CMU-ISR-10-113
Unpublished

CMU-ISR-10-114
Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure
Marwan Abi-Antoun, Ph.D. Thesis (Software Engineering)
Abstract, .pdf

CMU-ISR-10-115
Featherweight Typestate
Ronald Garcia, Roger Wolff, Éric Tanter, Jonathan Aldrich
Abstract, .pdf
Superceded by CMU-ISR-10-115R2

CMU-ISR-10-115R2
Featherweight Typestate
Ronald Garcia, Roger Wolff, Éric Tanter, Jonathan Aldrich
Abstract, .pdf
Supercedes CMU-ISR-10-115

CMU-ISR-10-116
Gradual Featherweight Typestate
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Abstract, .pdf
Updated version available as CMU-ISR-10-116R
Superceded by CMU-ISR-13-113

CMU-ISR-10-116R
Gradual Featherweight Typestate
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Abstract, .pdf
Updated version of CMU-ISR-10-116
Superceded by CMU-ISR-13-113

CMU-ISR-10-116R2
Gradual Featherweight Typestate
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Abstract, .pdf
Supercedes CMU-ISR-10-116 and CMU-ISR-10-116R
Superceded by CMU-ISR-13-113

CMU-ISR-10-117
A Theory of Typestate-Oriented Programming
Darpan Saini, Joshua Sunshine, Jonathan Aldrich
Abstract, .pdf

CMU-ISR-10-118
Construct Demo Input Deck
Brian R. Hirshman, Geoffrey P. Morgan, Jesse R. St. Charles, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-119
PileSort Module Usage
Michael W. Bigrigg, Daniel Chieffallo, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-120
ORA user's Guide 2010
Kathleen M. Carley, Jeff Reminga, Jon Storrick, Dave Columbus
Abstract, .pdf
Supercedes CMU-ISR-09-115

CMU-ISR-10-121
AutoMap user's Guide 2010
Kathleen M. Carley, Dave Columbus, Mike Bigrigg, Frank Kunkel
Abstract, .pdf
Supercedes CMU-ISR-09-114

CMU-ISR-10-122
Integrating Components into SORASCS
Bradley Schmerl, Michael W. Bigrigg, David Garlan, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-123
Using the SORASCS Prototype Web Portal
Bradley Schmerl, Michael W. Bigrigg, David Garlan, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-124
The VistA Ecosystem: Current Status and Future Directions
James Herbsleb, Claudia Müller-Birn, W. Ben Towne
Abstract, .pdf

CMU-ISR-10-125
µÆminium Language Specification
Sven Stork Jonathan Aldrich, Paulo Marques
Abstract, .pdf
Updated version appears as CMU-ISR-10-125R

CMU-ISR-10-125R
µÆminium Language Specification
Sven Stork Jonathan Aldrich, Paulo Marques
Abstract, .pdf
Updated version of CMU-ISR-10-125

CMU-ISR-10-125R2
µÆminium Language Specification
Sven Stork Jonathan Aldrich, Paulo Marques
Abstract, .pdf
Updated version of CMU-ISR-10-125R

CMU-ISR-10-126
When Are Users Comfortable Sharing Locations with Advertisers?
Patrick Gage Kelley, Michael Benisch, Lorrie Faith Cranor, Norman Sadeh
Abstract, .pdf
Also appears as CyLab CMU-CyLab-10-017

CMU-ISR-10-127
Impact of Information Loss and Information Error on Network-enabled Decision-making
Michael K. Martin, Geoffrey P. Morgan, Kenny Joseph, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-128
Predictions for Biomedical Decision Support
Xiaoqian Jiang, Ph.D. Thesis
Abstract, .pdf

CMU-ISR-10-129
Success in Online Production Systems: A Longitudinal Analysis of the Socio-Technical Duality of Development Projects
Claudia Müller-Birn, Marcelo Cataldo, Patrick Wagstrom, James D. Herbsleb
Abstract, .pdf

CMU-ISR-10-130
The Link Probability Model: A Network Siimulation Alternative to the Exponential Random Graph Model
Ian McCulloh, Joshua Lospinoso, Kathleen M. Carley
Abstract, .pdf

CMU-ISR-10-131
Types for Correct Concurrent API Usage
Nels E. Beckman, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu