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

ASE 2021 Committee Member in Program Committee within the Research Papers-track
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
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 2022 Travel Grants Chair in Organizing Committee
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
ESEC/FSE 2020 Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
SPLASH 2020 Committee Member in Reviewers/Judges within the Student Research Competition-track
SEAMS 2020 Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 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
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
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
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