Eunsuk Kang

Registered user since Tue 24 Apr 2018

Name:Eunsuk Kang
Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://eskang.github.io
Research interests:Software design, architecture, modeling, verification, safety, security.

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
Committee Member in Software Engineering in Society within the Software Engineering in Society-track
FormaliSE 2023 Author of An Empirical Study Assessing Software Modeling in Alloy within the FormaliSE 2023-track
MODELS 2023 Committee Member in Program Committee within the Tutorials-track
ASE 2023 Committee Member in Program Committee within the Research Papers-track
ICSE 2023 Author of Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies within the SEET - Software Engineering Education and Training-track
Author of Robustification of Behavioral Designs against Environmental Deviations within the Technical Track-track
SEAMS 2023 Author of Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening within the Research Track-track
Author of Preference Adaptation: user satisfaction is all you need! 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
ASE 2022 Session Chair of Technical Session 28 - Safety-Critical and Self-Adaptive Systems (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ICSE 2022 Session Chair of BoF 9: Teaching Software Design (part of Birds of a Feather)
Committee Member in Mentors within the SMeW - Student Mentoring Workshop-track
Travel Grants Chair in Organizing Committee
SERP4IoT 2022 Author of A Proposal For An Architectural Model For Reconfigurability Quality Attribute Requirements For Industry 4.0 Middleware Software Architectures within the SERP4IoT 2022-track
ASE 2021 Committee Member in Program Committee within the Research Papers-track
Session Chair of Automation (part of Research Papers)
ESEC/FSE 2021 Session Chair of Dependability—Dependability (part of Research Papers)
Session Chair of Dependability—Dependability (part of Research Papers)
Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track
SPLASH 2020 Committee Member in Reviewers/Judges within the Student Research Competition-track
ESEC/FSE 2020 Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
ASE 2020 Committee Member in Program Committee within the Research Papers-track
Session Chair of Formal Methods (2) (part of Research Papers)
Author of Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems within the Research Papers-track
ICSE 2020 Author of Teaching Software Engineering for AI-Enabled Systems within the ICSE 2020 Posters-track
Author of Teaching Software Engineering for AI-Enabled Systems within the Software Engineering Education and Training-track
Author of Synthesis of Assurance Cases for Software Certification within the New Ideas and Emerging Results-track
SEAMS 2020 Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
SEAD 2019 Author of Challenges in Secure Engineering of Critical Infrastructure Systems within the SEAD 2019-track
Committee Member in Program Committee within the SEAD 2019-track
ICSE 2019 Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track
Travel Grants Chair in Organizing Committee
FormaliSE 2019 Session Chair of Session 3 (part of FormaliSE 2019)
Social Media Chair in Organizing Committee within the FormaliSE 2019-track
Committee Member in Program Committee within the FormaliSE 2019-track
‹Programming› 2019 Committee Member in Program Committee within the Research Papers-track