Follow

Submissions from 2015

PDF

When it breaks, it breaks: How ecosystem developers reason about the stability of dependencies, Christopher Bogart, Christian Kästner, and James Herbsleb

PDF

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems, Javier Camara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, and Marco Vieira

PDF

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems, Thomas J. Glazier, Javier Camara, Bradley Schmerl, and David Garlan

PDF

Preprocessor-based variability in open-source and industrial software systems: An empirical study, Claus Hunsen, Bo Zhang, Janet Siegmund, Christian Kästner, Olaf Leßenich, Martin Becker, and Sven Apel

PDF

Rich People Don’t Have More Followers! Overcoming Social Inequality With Social Media, Hemank Lamba, Momin M. Malik, Constantine Nakos, and Jurgen Pfeffer

PDF

A Tempest in a Teacup? Analyzing Firestorms on Twitter, Hemank Lamba, Momin M. Malik, and Jurgen Pfeffer

PDF

Rapid Mission Assurance Assessment via Sociotechnical Modeling and Simulation, Michael J. Lanham

PDF

A Theory of Tagged Objects, Joseph Lee, Jonathan Aldrich, Troy Shaw, and Alex Potanin

PDF

The Love/Hate Relationship with the C Preprocessor: An Interview Study, Flávio Medieros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, and Rohit Gheyi

PDF

Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki

PDF

Varis: IDE Support for Embedded Client Code in PHP Web Applications, Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen

PDF

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems, Ivan Ruchkin, Bradley Schmerl, and David Garlan

PDF

Creating Usable Policies for Stronger Passwords with MTurk, Richard Shay

PDF

Searching the State Space: A Qualitative Study of API Protocol Usability, Joshua Sunshine, James Herbsleb, and Jonathan Aldrich

PDF

Extracting Configuration Knowledge from Build Files with Symbolic Analysis, Shurui Zhou, Jafar Al-Kofahi, Tien N. Nguyen, Christian Kästner, and Sarah Nadi

Submissions from 2014

PDF

Language-Based Architectural Control, Jonathan Aldrich, Cyrus Omar, Alex Potanin, and Du Li

PDF

Your Location has been Shared 5,398 Times! A Field Study on Mobile App Privacy Nudging (CMU-ISR-14-116), Hazim Almuhimedi, Florian Schaub, Norman Sadeh, Idris Adjerid, Alessandro Acquisti, Joshua Gluck, Lorrie Faith Cranor, and Yuvraj Agarwal

PDF

Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System, Javier Camara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, and Rafael Ventura

PDF

Impact Models for Architecture-Based Self-Adaptive Systems, Javier Camara, Antonia Lopes, David Garlan, and Bradley Schmerl

PDF

Integers In C: An Open Invitation To Security Attacks?, Zack Coker, Samir Hasan, Jeffrey Overbey, Munawar Hafiz, and Christian Kästner

PDF

Model-based Assistance for Making Time/Fidelity Trade-offs in Component Compositions, Vishal Dwivedi, David Garlan, Jurgen Pfeffer, and Bradley Schmerl

PDF

Towards a Framework to Measure Security Expertise in Requirements Analysis, Hanan Hibshi, Travis D. Breaux, Maria Riaz, and Laurie Williams

PDF

Rely-Guarantee Protocols, Filipe Militao, Jonathan Aldrich, and Luis Caires

PDF

Object Propositions, Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, and Hannes Mehnert

PDF

Safely Composable Type-Specific Languages, Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich

PDF

Contract-Based Integration of Cyber-Physical Analyses, Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan

PDF

Architectural Modeling of Ozone Widget Framework End-User Compositions (CMU-ISR-14-108), Ivan Ruchkin, Vishal Dwivedi, David Garlan, and Bradley Schmerl

Link

Mathematics Curriculum and the Needs of Computer Science, Bill Scherlis and Mary Shaw

PDF

Architecture-Based Self-Adaptation for Moving Target Defense (CMU-ISR-14-109), Bradley Schmerl, Javier Camara, Gabriel Moreno, David Garlan, and Andrew O. Mellinger

Link

Career-Long Education for Software Professionals: A US View of the Educational Challenges in a Rapidly Changing Technology, Mary Shaw

Link

What's the value proposition of distance education?, Mary Shaw and Marian Petre

PDF

Understanding Understanding Source Code with Functional Magnetic Resonance Imaging, Janet Siegmund, Christian Kästner, Sven Apel, Chris Parnin, and Anja Bethmann

PDF

Measuring and Modeling Programming Experience, Janet Siegmund, Christian Kästner, Jörg Liebig, Sven Apel, and Stefan Hanenberg

PDF

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming, Joshua Sunshine, James Herbsleb, and Jonathan Aldrich

Submissions from 2013

Feature-interaction detection based on feature-based specifications, Sven Apel, Alexander von Rhein, Thomas Thüm, and Christian Kästner

PDF

Software Architecture Evolution, Jeffrey M. Barnes

PDF

High-Level Abstractions for Safe Parallelism, Robert Bocchino, Hannes Mehnert, and Jonathan Aldrich

Link

A Design Space for Adaptive Systems, Yuriy Brun, Ron Desmarais, Kurt Geihs, Marin Litoiu, Antonia Lopes, Mary Shaw, and Michael Smit

PDF

Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation, Javier Camara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, and Rafael Ventura

PDF

Testing the robustness of controllers for self-adaptive systems, Javier Camara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, and Marco Vieira

PDF

Diagnosing architectural run-time failures, Paulo Casanova, David Garlan, Bradley Schmerl, and Rui Abreu

PDF

Software Platforms for Smart Building Ecosystems: Understanding the Key Architectural Capabilities and Trade-offs (CMU-ISR-13-104), Marcelo Cataldo, David Garlan, James Herbsleb, Amber Lynn McConahy, Young-Suk Ahn Park, and Bradley Schmerl

PDF

A Case Study on the Lightweight Verification of a Multi-Threaded Task Server, Nestor Catano, Ijaz Ahmed, Radu I. Siminiceanu, and Jonathan Aldrich

PDF

Assessing Regulatory Change through Legal Requirements Coverage Modeling, David G. Gordon and Travis D. Breaux

PDF

Architecture-based planning of software evolution, Sungwon Kang and David Garlan

PDF

Variability Mining: Consistent Semiautomatic Detection of Product-Line Features, Christian Kästner, Alexander Dreiling, and Klaus Ostermann

PDF

Designing Privacy Notices: Supporting User Understanding and Control, Patrick Gage Kelley

PDF

Reconciling Mobile App Privacy and Usability on Smartphones: Could User Privacy Profiles Help? (CMU-CS-13-128, CMU-ISR-13-114), Bin Liu, Jialiu Lin, and Norman Sadeh

Role of Design Spaces in Guiding a Software Design, Mary Shaw

Link

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap., Mary Shaw

PDF

Experience from Measuring Program Comprehension—Toward a General Framework, Janet Siegmund, Christian Kästner, Sven Apel, Andre Brechmann, and Gunter Saake

PDF

Resolving Data Mismatches in End-User Compositions, Perla Velasco-Elizondo, Vishal Dwivedi, David Garlan, Bradley Schmerl, and Jose Maria Fernandez

Submissions from 2012

PDF

The Plaid Language: Typed Core Specification (CMU-ISR-12-103), Jonathan Aldrich, Nels E. Beckman, Robert Bocchino, Karl Naden, Darpan Saini, Sven Stork, and Joshua Sunshine

PDF

Evolution styles: foundations and models for software architecture evolution, Jeffrey M. Barnes, David Garlan, and Bradley Schmerl

PDF

Stitch: A language for architecture-based self-adaptation, Shang-Wen Cheng and David Garlan

PDF

Uncovering and Managing the Impact of Methodological Choices for the Computational Construction of Socio-Technical Networks from Texts, Jana Diesner

PDF

Foundations and Tools for End-User Architecting, David Garlan, Vishal Dwivedi, Ivan Ruchkin, and Bradley Schmerl

PDF

Measuring Attack Surface in Software Architecture (CMU-ISR-11-121), Jeff Gennari and David Garlan

PDF

Reconciling Multi-jurisdictional Legal Requirements: A Case Study in Requirements Water Marking, David G. Gordon and Travis D. Breaux

PDF

Large-Scale Variability-Aware Type Checking and Dataflow Analysis, Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dorre, and Christian Lengauer

PDF

Verification of Snapshotable Trees using Access Permissions and Typestate, Hannes Mehnert and Jonathan Aldrich

PDF

A Type System for Borrowing Permissions (CMU-CS-11-142), Karl Naden, Robert Bocchino, Jonathan Aldrich, and Kevin Bierhoff

PDF

Statically Checking API Protocol Conformance with Mined Multi-Object Specifications, Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross

Link

The Role of Design Spaces, Mary Shaw

Submissions from 2011

Link

Advancing Software Engineering Professional Education, Mark Ardis, Pierre Borque, Thomas Hilburn, Kahina Lasfer, Scott Lucero, James McDonald, Art Pyster, and Mary Shaw

PDF

An Empirical Study of Object Protocols in the Wild, Nels E. Beckman, Duri Kim, and Jonathan Aldrich

PDF

View Consistency in Architectures for Cyber-Physical Systems, Ajinkya Bhave, Bruce Krogh, David Garlan, and Bradley Schmerl

PDF

Towards a Privacy Management Framework for Distributed Cybersecurity in the New Data Ecology, Travis D. Breaux and Catherine B. Lotrionte

PDF

Architecture-Based Run-Time Fault Diagnosis, Paulo Casanova, Bradley Schmerl, David Garlan, and Rui Abreu

PDF

User-Controllable Learning of Location Privacy Policies with Gaussian Mixture Models, Justin Cranshaw, Jonathan Mugan, and Norman Sadeh

PDF

When Cultures Clash: Participation in Open Source Communities and Its Implications For Organizational Commitment, Sherae Daniel, Likoebe Maruping, Marcelo Cataldo, and James Herbsleb

PDF

An Architectural Approach to End User Orchestrations, Vishal Dwivedi, Perla Velasco-Elizondo, Jose Maria Fernandes, David Garlan, and Bradley Schmerl

PDF

Computer Science for Practicing Engineers: Computer Science for Everyone Else (CMU-ISR-11-115), David Garlan and Anthony Lattanze

PDF

SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis, David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama, and Nina Patel

PDF

Comparing Requirements from Multiple Jurisdications, David G. Gordon and Travis D. Breaux

PDF

Collaboration through superposition: How the IT artifact as an object of collaboration affords technical interdependence without organizational interdependence, James Howison and Kevin Crowston

PDF

Motivation through visibility in open contribution systems, James Howison, Jamie F. Olson, Aniket Kittur, and Kathleen M. Carley

PDF

Proper Plugin Protocols, Ciera N.C. Jaspan

PDF

Avoiding the Top 43 Embedded Software Risks, Philip Koopman

PDF

Challenges In Representing CPS Safety, Philip Koopman

PDF

The Grand Challenge of Embedded System Dependability, Philip Koopman

PDF

Autonomous Qualitative Learning of Distinctions and Actions in a Developing Agent, Jonathan Mugan

PDF

Autonomous Learning of High-Level States and Actions in Continuous Environments, Jonathan Mugan and Benjamin Kuipers

PDF

Verifying Object-Oriented Code Using Object Propositions, Ligia Nistor and Jonathan Aldrich

PDF

Property Enumerators and a Partial Sum Theorem, Michael I. Shamos

Link

Modularity for the modern world, Mary Shaw

Link

Patient Identifiability in Pharmaceutical Marketing Data, Latanya Sweeney

PDF

Gradual Typestate, Roger Wolff, Ronald Garcia, Eric Tanter, and Jonathan Aldrich

Submissions from 2010

PDF

Resource-Based Programming in Plaid, Jonathan Aldrich

Link

Active Elicitation of Data for Word Alignment, Vamshi Ambati, Stephan Vogel, and Jaime G. Carbonell

PDF

Active Learning and Crowd-Sourcing for Machine Translation, Vamshi Ambati, Stephan Vogel, and Jaime G. Carbonell

Link

Active Semi-Supervised Learning for Improving Word Alignment, Vamshi Ambati, Stephan Vogel, and Jaime G. Carbonell

PDF

Augmenting Software Architectures with Physical Components, Ajinkya Bhave, David Garlan, Bruce Krogh, Akshay H. Rajhans, and Bradley Schmerl

PDF

Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views, Ajinkya Bhave, Bruce Krogh, David Garlan, and Bradley Schmerl

PDF

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

Link

ATLAS: Automatic Term-Level Abstraction of RTL Designs, Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, and John W. O'Leary

PDF

A Method to Acquire Compliance Monitors from Regulations, Travis D. Breaux

Link

Legally “Reasonable” Security Requirements: A 10-year FTC Retrospective, Travis D. Breaux and David L. Baumer

PDF

Graph-Structured Multi-task Regression and an Efficient Optimization Method for General Fused Lasso Manuscript, Xi Chen, Seyoung Kim, Qihang Lin, Jaime G. Carbonell, and Eric P. Xing

Link

An Efficient Proximal-Gradient Method for Single and Multi-task Regression with Structured Sparsity, Xi Chen, Qihang Lin, Seyoung Kim, Javier Peña, Jaime G. Carbonell, and Eric P. Xing