Add Matt's talk info

lsd-ucsc · Mar 7, 2024 · db0a51d · db0a51d
1 parent a0084c9
commit db0a51d
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/content/lsd-seminar/2024wi.md b/content/lsd-seminar/2024wi.md
@@ -28,7 +28,7 @@ Talks will be advertised on the [ucsc-lsd-seminar-announce](https://groups.googl
 | [Feb. 23](#feb-23)    | Achilles Benetopoulos                                                 | Don't Let APIs Constrain Your Distributed Systems                 |
 | [March 1](#march-1)   | Karuna Grewal                                                         | Expressive Policies for Microservice Networks                     |
 | [March 8](#march-8)   | Abhiroop Sarkar                                                       | HasTEE+ - Confidential Computing with Haskell                     |
-| [March 15](#march-15) | Matthew Davis                                                         | _TBD_                                                             |
+| [March 15](#march-15) | Matthew C. Davis                                                      | NaNofuzz to TestLoop: A Journey from Empirical to Theoretical Research (and back again) |
 
 ---
 
@@ -151,12 +151,12 @@ a focus on security properties.
 
 # March 15
 
-**Speaker:** Matthew Davis
+**Speaker:** Matthew C. Davis
 
-**Title:** _TBD_
+**Title:** NaNofuzz to TestLoop: A Journey from Empirical to Theoretical Research (and back again)
 
-**Abstract:** _TBD_
+**Abstract:** Software testing labor cost in the United States exceeded an estimated $47 billion in 2021. For 50 years, Automatic Test sUite Generators (ATUGs) have intended to help developers generate test suites. The vast majority of ATUGs have focused on effectiveness measures such as code coverage, mutants killed, and bugs elicited. But few ATUGs have focused on the developer's experience. In this talk we discuss NaNofuzz, an ATUG that focuses on the developer's experience, as well as TestLoop, a theoretical model of the developer's test suite generation process. We describe ways in which our empirical ATUG research informs and refines our theoretical research -- and vice-versa.
 
-**Bio:** _TBD_
+**Bio:** Matthew C. Davis is a Software Engineering PhD student at Carnegie Mellon University’s School of Computer Science and is advised by Dr. Brad A. Myers and Dr. Joshua Sunshine. Matthew's research focuses on interventions that improve the human ability to build and test useful software and is motivated by twenty years of experience as a software engineer and as a global technology director in industry, where he observed first-hand many ways in which developers encounter barriers to efficiently and effectively using various types of common software engineering tools.
 
 [Archive](../)