| 09/2024 |
Paper accepted to NeurIPS 2024. |
| 09/2024 |
Paper accepted to Correctness 2024. |
| 06/2024 |
Tutorial on Provable Repair of Deep Neural Networks at PLDI 2024 |
| 05/2024 |
Paper accepted to SOAP 2024. |
| 05/2024 |
Paper accepted to SAIV 2024. |
| 04/2023 |
Paper accepted to PLDI 2023 |
| 12/2022 |
Paper accepted to STTT 2023 |
| 07/2022 |
Promoted to Associate Professor. |
| 05/2022 |
Took part in the TOP Faculty Panel |
| 01/2022 |
Took part in the 2022 UC Davis Aggie Invitational - Science Olympiad Faculty Panel |
| 05/2021 |
Received DOE Early Career award |
| 05/2021 |
Invited talk at Tenth Summer School on Formal Techniques |
| 05/2021 |
Matthew Sotoudeh received an Honorable Mention for 2021 Chancellor’s Award for Excellence in Undergraduate Research/Dean Keith Simonton Prize |
| 04/2021 |
Attended the AvenueE Professional Learning Community (PLC) meeting |
| 04/2021 |
Featured in Episode 7 of the Build Better Systems Podcast; interview was in Aug. 2020 |
| 03/2021 |
Paper accepted to PLDI 2021 |
| 03/2021 |
Matthew Sotoudeh received an NSF GRFP 2021 |
| 02/2021 |
Paper accepted to USENIX Security 2021 |
| 02/2021 |
Received NSF CAREER award |
| 12/2020 |
Paper accepted to TACAS 2021 |
| 12/2020 |
Matthew Sotoudeh received Honorable Mention in the 2021 CRA Outstanding Undergraduate Researcher Award |
| 12/2020 |
Invited talk on understanding and repairing Deep Neural Networks at Waterloo ML+Logic Online Colloquium |
| 12/2020 |
Presented our work on efficient fixpoint computation for abstract interpretation at the Workshop on Research Highlights in Programming Languages at FSTTCS 2020 |
| 11/2020 |
Sung Kook Kim awarded Radhia Cousot Young Researcher Best Paper Award at SAS 2020 |
| 08/2020 |
Paper accepted to SPLASH Onward! 2020 |
| 07/2020 |
Two papers accepted to SAS 2020 |
| 06/2020 |
Sung Kook Kim is the Runner Up for the GGCS 2020 Best Graduate Researcher Award |
| 06/2020 |
Awarded Facebook Probability and Programming Research Award 2020 |
| 04/2020 |
Paper accepted to IFIP Networking 2020 |
| 01/2020 |
Matthew Sotoudeh awarded second place in POPL 2020 Student Research Competition |
| 01/2020 |
Our research on parallel abstract interpretation is used in two open-source abstract interpreters: NASA IKOS and Facebook SPARTA |
| 10/2019 |
Paper accepted to POPL 2020 |
| 09/2019 |
Paper accepted to NeurIPS 2019 Workshop on Safety and Robustness in Decision Making |
| 09/2019 |
Talk at Probability and Programming Workshop 2019 |
| 09/2019 |
Paper accepted to NeurIPS 2019 |
| 07/2019 |
Paper accepted to Globecom 2019 |
| 06/2019 |
Paper accepted to SMT 2019 |
| 05/2019 |
Paper accepted to ESEC/FSE 2019 |
| 05/2019 |
Awarded Facebook Probability and Programming Research Award 2019 |
| 11/2018 |
Daniel DeFreez awarded first place in ESEC/FSE 2018 Student Research Competition (SRC) |
| 10/2018 |
Awarded Facebook Testing and Verification (TAV) Research Award 2018 |
| 07/2018 |
Paper accepted to ESEC/FSE 2018 |
| 06/2018 |
Awarded DECOR 2018 Research Award |
| 03/2018Â |
Poster paper accepted to ICSE 2018 |