Select/Recent Talks
-
Participant: ACM Distinguished Speaker Program (December 2023-2026)
- Keynote: SIGSOFT FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024
[slides]
- Invited speaker and panelist: Huawei Future Advanced Testing Technology Workshop, September 2023
- Invited speaker: PLISS 2023, Bertinoro, Italy, September 3-9, 2023
- Keynote: Internetware 2023, Hangzhou, China, August 4-6, 2023
- Keynote: SANER 2023, Macao (and virtual), March 21-24, 2023
- Keynote: PRDC 2022, Beijing (and virtual), November 28 - December 1, 2022
- Invited talk, Huawei STW 2021 (virtual), October 2021
- Keynote: APLAS 2021, Chicago (and virtual), October 2021
- Keynote on "Reimagining the Engineering of Software", TiD'21, Beijing, China (or virtual), September 2021
- ISSTA 30th Panelist: ISSTA 2021 (virtual), July 2021
- Distinguished CS Lecture at the IT University (ITU) of Copenhagen (virtual), June 2021
- Keynote: APSEC'20 (virtual),
Singapore, December 2020
[video,
slides]
- Keynote: ICFEM'19,
Shenzhen, China, November 2019
[talk info,
slides]
- Keynote: ICECCS'18,
Melbourne, Australia, December 2018
[talk info,
slides]
- SIGSOFT Impact Award Keynote: ESEC/FSE'18,
Lake Buena Vista, FL, November 2018 [slides, photo]
- Invited Speaker and Plenary Panelist: CNCC'18, Hangzhou, China, October 2018 [photos: 1, 2, 3, 4]
- Talk at ETH on "Numerical Program Analysis via Mathematical Execution", October 2018: [slides, video, photo]
- Keynote: ICSME'17, Shanghai, China, September 17-24, 2017 [slides, video]
- Invited talk at ETH, October 2016: [slides, video]
- Invited talk at EPFL, October 2016: [slides, video]