Matthew B Dwyer -

Registered user since Wed 2 Jan 2019

Name:Matthew B Dwyer

Affiliation:University of Virginia

Personal website:https://matthewbdwyer.github.io

Contributions

ICSE 2024	Committee Member in Research Track within the Research Track-track Award Co-Chair in Organising Committee Committee Member in Program Committee within the Doctoral Symposium-track
ICSE 2023	Program Committee Member in Technical Track within the Technical Track-track Author of Sibyl: Improving Software Engineering Tools with SMT Selection within the Technical Track-track Session Chair of AI testing 1 (part of Technical Track) Committee Member in Most Influential Paper within the Most Influential Paper ICSE N-10-track Author of Artifact: Measuring and Mitigating Gaps in Structural Testing within the Artifact Evaluation-track Author of Sibyl Artifact: Improving Software Engineering Tools with SMT Selection within the Artifact Evaluation-track Author of Measuring and Mitigating Gaps in Structural Testing within the Technical Track-track
TestEd 2023	Committee Member in Program Committee within the TestEd 2023-track
ISSTA 2022	Author of Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting within the Keynotes-track
ICSE 2022	General Chair in Organizing Committee Session Chair of Closing (part of All plenary events) Session Chair of Opening (part of All plenary events) Session Chair of ICSE Keynote (part of All plenary events)
ASE 2021	Author of Distribution Models for Falsification and Verification of DNNs within the Research Papers-track Author of Distribution Models for Falsification and Verification of DNNs within the Artifact Evaluation-track
ESEC/FSE 2021	Committee Member in Program Committee within the Research Papers-track Session Chair of SE & AI—Software Engineering for Machine Learning 2 (part of Research Papers) Session Chair of Analysis—Model Checking (part of Research Papers)
ICSE 2021	Author of Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the AE - Artifact Evaluation-track Author of Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the Technical Track-track Author of Distribution-Aware Testing of Neural Networks Using Generative Models within the Technical Track-track Author of Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models within the AE - Artifact Evaluation-track
ISSTA 2020	Author of Feasible and Stressful Trajectory Generation for Mobile Robots within the Technical Papers-track
ICSE 2020	Session Chair of Birds of a feather: Reviewing SE research papers (part of Birds of a Feather) Committee Member in Program Committee within the New Ideas and Emerging Results-track
ASE 2019	Committee Member in Program Committee within the Research Papers-track
ICSE 2019	New Faculty Symposium Chair in Organizing Committee Committee Member in Most Influential Paper ICSE N-10 within the Most Influential Paper ICSE N-10-track Author of ALPACA: A Large Portfolio-based Alternating Conditional Analysis within the Demonstrations-track Speaker of Opening within the New Faculty Symposium-track Co-chair in Program Committee within the New Faculty Symposium-track
ESEC/FSE 2018	Committee Member in Program Committee within the Research Papers-track Committee Member in Mentors within the Faculty Mentorship Roundtables-track
* ICSE 2018 *	Most Influential Paper ICSE N-10 in Organizing committee Committee Member in Program committee within the Technical Papers -track Committee Member in Selection Committee within the Journal first papers-track
SPLASH 2015	OOPSLA 2012 PC Chair in Steering Committee
SPLASH 2014	Committee Member in Steering Committee
SPLASH 2013	Committee Member in Program Committee within the OOPSLA-track
SPLASH 2012	Chair in Program Committee within the OOPSLA Research Papers-track PC Chair in Program Committee
SPLASH 2011	Author of SOS: Saving Time in Dynamic Race Detection with Stationary Analysis within the OOPSLA-track