David Garlan -

Registered user since Mon 24 Apr 2017

Name:David Garlan

Country:United States

Affiliation:Carnegie Mellon University

Personal website:https://www.cs.cmu.edu/~garlan/

Research interests:Software architecture, self-adaptive systems, applied formal methods

Contributions

ACSOS 2023	Committee Member in Program Committee within the Main Track-track
ECSA 2023	Committee Member in Steering Committee Committee Member in Program Committee within the Research Papers-track
ICSE 2023	Author of Robustification of Behavioral Designs against Environmental Deviations within the Technical Track-track
SEAMS 2023	Committee Member in Program Committee within the Research Track-track
ESEC/FSE 2022	Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the ESEC/FSE 2021-track Author of A Behavioral Notion of Robustness for Software Systems within the ESEC/FSE 2020-track
MODELS 2022	Author of Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata within the Technical Track-track
ACSOS 2022	Author of A Framework for Adapting Machine Learning Components within the Main Track-track
ECSA 2022	Committee Member in Program Committee within the Research Papers-track Keynote Speaker of Humanizing Software Architecture within the Keynotes-track Carnegie Mellon University in Steering Committee
SEAMS 2022	Session Chair of Most Influential Papers (part of SEAMS 2022) Steering Committee Member in Steering Committee within the SEAMS 2022-track Most Influential Paper Chair in Organizing Committee within the SEAMS 2022-track Committee Member in Program Committee within the SEAMS 2022-track
ECSA 2021	Ordinary PC member in Program Committee within the Research Papers-track Author of Explaining Architectural Tradeoff Spaces: a Machine Learning Approach within the Research Papers-track Committee Member in Steering Committee
ESEC/FSE 2021	Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track
ICSE 2021	Author of David Garlan's JSEET Keynote: "Reflections on the Role of Software Architecture in Software Engineering Education" within the JSEET - Joint Track on Software Engineering Education and Training-track
SEAMS 2021	Committee Member in Steering Committee within the SEAMS 2021-track Author of The Unknown Unknowns Are Not Totally Unknown within the SEAMS 2021-track Author of Hey! Preparing Humans to do Tasks in Self-adaptive Systems within the SEAMS 2021-track Committee Member in Program Committee within the SEAMS 2021-track
REFSQ 2021	Author of Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems within the Research Papers-track
ESEC/FSE 2020	Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
ECSA 2020	Committee Member in Steering Committee
ACSOS 2020	Author of Case Study of an Automated Approach to Managing Collections of Autonomic Systems within the Research Papers-track Author of Building Reusable Repertoires for Stochastic Self-* Planners within the Research Papers-track Author of Hybrid Planning Using Learning and Model Checking for Autonomous Systems within the Research Papers-track Author of Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems within the Research Papers-track
ICSE 2020	Author of How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems within the Software Engineering in Practice-track Committee Member in Program Committee within the Software Engineering Education and Training-track
SEAMS 2020	Author of Towards Bridging the Gap between Control and Self-Adaptive System Properties within the SEAMS 2020-track Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track Author of Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots within the SEAMS 2020-track Author of SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectives within the SEAMS 2020-track Committee Member in Program Committee within the SEAMS 2020-track
ICSE 2019	Committee Member in Program Committee within the Software Engineering Education and Training -track Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track
SEAMS 2019	Author of DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems within the SEAMS 2019-track Session Chair of Security (part of SEAMS 2019) Author of Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots within the SEAMS 2019-track Program Committee in Program Committee within the SEAMS 2019-track
* ICSE 2018 *	Committee Member in SEET Program committee within the SEET - Software Engineering Education and Training -track
SEAMS 2018	Committee Member in Program Committee within the SEAMS 2018-track Author of SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications within the SEAMS 2018-track Author of Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search within the SEAMS 2018-track Session Chair of Security and Adaptivity (part of SEAMS 2018) Committee Member in Steering Committee within the SEAMS 2018-track Security and Adaptivity Session Chair in Organizing Committee within the SEAMS 2018-track Author of Uncertainty Reduction in Self-Adaptive Systems within the SEAMS 2018-track