Sebastian Elbaum

Registered user since Wed 27 Mar 2019

Name:Sebastian Elbaum
Country:United States
Affiliation:University of Virginia
Research interests:software engineering, robotics

Contributions

ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
ASE 2021 Author of Distribution Models for Falsification and Verification of DNNs within the Artifact Evaluation-track
Author of Distribution Models for Falsification and Verification of DNNs within the Research Papers-track
SPLASH 2010
ESEC/FSE 2021 Author of Swarmbug: Debugging Configuration Bugs in Swarm Robotics within the Research Papers-track
Author of PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems within the Research Papers-track
ECOOP and ISSTA 2021 Co-chair of Advances in Testing within the Discussions with Experts-track
Session Chair of Advances in Testing (part of Discussions with Experts)
ISSTA 2021 PC Member in Program Committee
Session Chair of Session 4 (time band 1) Testing Deep Learning Systems 2 (part of Technical Papers)
ICSE 2022 Awards Chair in Organizing Committee
ISSTA 2020 Author of Feasible and Stressful Trajectory Generation for Mobile Robots within the Technical Papers-track
ICSE 2021 Author of Self-Checking Deep Neural Networks in Deployment within the Technical Track-track
Author of Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the Technical Track-track
Committee Member in Program Committee within the DS - Doctoral Symposium-track
Author of Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the AE - Artifact Evaluation-track
ICSE 2020 Speaker of Program Analysis Meets Autonomous Robots within the Technical Briefings-track
Author of Sebastian Elbaum within the New Faculty Symposium-track
Programme Committee in Program Committee within the Technical Papers-track
Author of An Oracle Language for Autonomous Vehicles within the ICSE 2020 Posters-track
Author of Blending Kinematic and Software Models for Tighter Reachability Analysis within the New Ideas and Emerging Results-track
ICSE 2019 Speaker of Student recruiting, advising and mentoring within the New Faculty Symposium-track