Personal information
Verified email domains
virginia.edu
Activities
Employment (3)
2018-08-01
to
present
|
Professor
(Computer Science)
Employment
Source:
Matthew Dwyer
2004-07-01
to
2018-07-31
|
Professor
(Computer Science and Engineering)
Employment
Source:
Matthew Dwyer
1995-07
to
2004-06
|
Professor
(Computing and Information Sciences)
Employment
Source:
Matthew Dwyer
Education and qualifications (3)
1995-08
|
Doctor of Philosophy
(Computer Science)
Education
Source:
Matthew Dwyer
1989-05
|
Masters in Computer Science
(Computer Science)
Education
Source:
Matthew Dwyer
1985-05
|
Bachelors of Science in Electrical Engineering
(Electrical and Computer Engineering)
Education
Source:
Matthew Dwyer
Works (50 of 183)
Items per page:
Page 1 of 4
2024
|
Book chapter
Contributors:
Dong Xu;
Nusrat Jahan Mozumder;
Hai Duong;
Matthew B. Dwyer
Source:
check_circle
Crossref
Proceedings of the ACM on Software Engineering
2024-07-12
|
Journal article
Contributors:
Hai Duong;
Dong Xu;
Thanhvu Nguyen;
Matthew B. Dwyer
Source:
check_circle
Crossref
2024-04-12
|
Conference paper
Contributors:
Swaroopa Dola;
Rory McDaniel;
Matthew B. Dwyer;
Mary Lou Soffa
Source:
check_circle
Crossref
2024-04-12
|
Conference paper
Contributors:
Trey Woodlief;
Felipe Toledo;
Sebastian Elbaum;
Matthew B Dwyer
Source:
check_circle
Crossref
ACM Transactions on Software Engineering and Methodology
2024-03-31
|
Journal article
Contributors:
Will Leeson;
Matthew B. Dwyer
Source:
check_circle
Crossref
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2023-11-30
|
Conference paper
Contributors:
Felipe Toledo;
David Shriver;
Sebastian Elbaum;
Matthew B. Dwyer
Source:
Matthew Dwyer
grade
Preferred source
(of
2)
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2023-11-30
|
Conference paper
Contributors:
Soneya Binta Hossain;
Antonio Filieri;
Matthew B. Dwyer;
Sebastian Elbaum;
Willem Visser
Source:
Matthew Dwyer
grade
Preferred source
(of
2)
ACM Transactions on Software Engineering and Methodology
2023-07-31
|
Journal article
Contributors:
Swaroopa Dola;
Matthew B. Dwyer;
Mary Lou Soffa
Source:
check_circle
Crossref
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
2023-05
|
Conference paper
Contributors:
Soneya Binta Hossain;
Matthew B. Dwyer;
Sebastian Elbaum;
Anh Nguyen-Tuong
Source:
Matthew Dwyer
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
2023-05
|
Conference paper
Contributors:
Will Leeson;
Matthew B Dwyer;
Antonio Filieri
Source:
Matthew Dwyer
2023 IEEE International Conference on Robotics and Automation (ICRA)
2023-05-29
|
Conference paper
Contributors:
Christopher Morse;
Lu Feng;
Matthew Dwyer;
Sebastian Elbaum
Source:
Matthew Dwyer
Source:
check_circle
Crossref
Findings of the Association for Computational Linguistics: NAACL 2022
2022
|
Conference paper
Contributors:
Arshdeep Sekhon;
Yangfeng Ji;
Matthew Dwyer;
Yanjun Qi
Source:
Matthew Dwyer
IEEE Transactions on Software Engineering
2022-10-01
|
Journal article
Contributors:
ThanhVu Nguyen;
KimHao Nguyen;
Matthew B. Dwyer
Source:
check_circle
Crossref
IEEE Transactions on Software Engineering
2022-04-01
|
Journal article
Contributors:
Mitchell Gerrard;
Mateus Borges;
Matthew B. Dwyer;
Antonio Filieri
Source:
check_circle
Crossref
2021
|
Book chapter
Contributors:
David Shriver;
Sebastian Elbaum;
Matthew B. Dwyer
Source:
check_circle
Crossref
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021-11
|
Conference paper
Contributors:
Felipe Toledo;
David Shriver;
Sebastian Elbaum;
Matthew B. Dwyer
Source:
Matthew Dwyer
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021-05
|
Conference paper
Contributors:
Swaroopa Dola;
Matthew B. Dwyer;
Mary Lou Soffa
Source:
Matthew Dwyer
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021-05
|
Conference paper
Contributors:
David Shriver;
Sebastian Elbaum;
Matthew B. Dwyer
Source:
Matthew Dwyer
CoRR
2020
|
Journal article
URI:
https://arxiv.org/abs/2009.08525
Source:
Matthew Dwyer
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020
2020
|
Conference paper
Source:
Matthew Dwyer
CoRR
2020
|
Journal article
URI:
https://arxiv.org/abs/2004.04214
Source:
Matthew Dwyer
Computer Aided Verification - 32nd International Conference, CAV
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
2020
|
Conference paper
Source:
Matthew Dwyer
2020
|
Book chapter
Contributors:
Dong Xu;
David Shriver;
Matthew B. Dwyer;
Sebastian Elbaum
Source:
check_circle
Crossref
Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31,
2019
2019
|
Conference paper
Source:
Matthew Dwyer
The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, IAAI 2019, The Ninth AAAI Symposium on Educational
Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019
2019
|
Conference paper
Source:
Matthew Dwyer
CoRR
2019
|
Journal article
URI:
http://arxiv.org/abs/1910.01074
Source:
Matthew Dwyer
CoRR
2019
|
Journal article
URI:
http://arxiv.org/abs/1908.08026
Source:
Matthew Dwyer
CoRR
2019
|
Journal article
URI:
http://arxiv.org/abs/1903.11768
Source:
Matthew Dwyer
Source:
Matthew Dwyer
grade
Preferred source
(of
2)
Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, TACAS 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
2018
|
Conference paper
Source:
Matthew Dwyer
Proceedings of the 32nd IEEE/ACM International Conference on Automated
Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November
03, 2017
2017
|
Conference paper
Source:
Matthew Dwyer
Source:
Matthew Dwyer
grade
Preferred source
(of
2)
Proceedings of the 32nd IEEE/ACM International Conference on Automated
Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November
03, 2017
2017
|
Conference paper
Source:
Matthew Dwyer
Proceedings of the First International Workshop on Software Correctness
for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017
2017
|
Conference paper
Source:
Matthew Dwyer
Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, TACAS 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
2016
|
Conference paper
Source:
Matthew Dwyer
Source:
Matthew Dwyer
Source:
Matthew Dwyer
Source:
Matthew Dwyer
Source:
Matthew Dwyer
Proceedings of the 38th International Conference on Software Engineering,
ICSE 2016, Austin, TX, USA, May 14-22, 2016
2016
|
Conference paper
Source:
Matthew Dwyer
30th IEEE/ACM International Conference on Automated Software Engineering,
ASE 2015, Lincoln, NE, USA, November 9-13, 2015
2015
|
Conference paper
Source:
Matthew Dwyer
Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, SC 2015, Austin, TX, USA, November
15-20, 2015
2015
|
Conference paper
Source:
Matthew Dwyer
Source:
Matthew Dwyer
Source:
Matthew Dwyer
30th IEEE/ACM International Conference on Automated Software Engineering,
ASE 2015, Lincoln, NE, USA, November 9-13, 2015
2015
|
Conference paper
Source:
Matthew Dwyer
Grand Timely Topics in Software Engineering - International Summer
School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial
Lectures
2015
|
Conference paper
Source:
Matthew Dwyer
Source:
Matthew Dwyer
grade
Preferred source
(of
2)
36th International Conference on Software Engineering, ICSE '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014
2014
|
Conference paper
Source:
Matthew Dwyer
Proceedings of the 22nd ACM SIGSOFT International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014
2014
|
Conference paper
Source:
Matthew Dwyer
Items per page:
Page 1 of 4