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