Add University of Washington PLSE working lightning talk. (#482)

Add slides from lightning talk at 2023 University of Washington Programming Languages and Software Engineering (PLSE) workshop.
2023-05-23 21:15:57 -07:00 · 2023-05-23 21:15:57 -07:00 · 7affd420bb
--- a/presentations/Checked-C-UW-PLSE-Workshop'-Final.pdf
+++ b/presentations/Checked-C-UW-PLSE-Workshop'-Final.pdf
--- a/presentations/Checked-C-UW-PLSE-Workshop-Final.pptx
+++ b/presentations/Checked-C-UW-PLSE-Workshop-Final.pptx