Type-Guided Worst-Case Input Generation

Slides

Date
Jun 3, 2021 10:00 AM — 11:00 AM
Event
Speaking Skills, Carnegie Mellon University
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.