Computer Science and Engineering

Name: When Less is More: Applications of Type-Based Underapproximate Reasoning
Start: 2025-12-03T11:00:00-08:00
End: 2025-12-03T12:30:00-08:00
Location: Engineering 2

List
Month
Day
Week
Map
Summary

December 2025
December 3 @ 11:00 am

When Less is More: Applications of Type-Based Underapproximate Reasoning

Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost […]

Free

Last modified: Nov 03, 2025