Hey all, After discussing with Jamie, we consider that it's better to start this topic with some more fundamental materials . Therefore, let's adjust the reading material as follows: *Topic*: Software validation and verification *Paper*: POPL'02: Flanagan et al. "Predicate abstraction for software verification https://dl.acm.org/doi/abs/10.1145/503272.503291" *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, March 5th, 2020. The signup sheet https://docs.google.com/spreadsheets/d/1PUpFKcw6i2t3fNdAF-wh0EZRDzQFQihGQjJq... is the same, thank you. Best, Ya On Thu, Feb 27, 2020 at 1:25 PM Ya Xiao wrote:

Hey folks,

After a few weeks discussing deep learning techniques, we will start a new topic about software validation and verification.

*Topic*: Software validation and verification *Paper*: ICSE 2018: Lange et al. "A static verification framework for message passing in Go using behavioural types https://dl.acm.org/doi/abs/10.1145/3180155.3180157" *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, March 5th, 2020.

Please RSVP https://docs.google.com/spreadsheets/d/1PUpFKcw6i2t3fNdAF-wh0EZRDzQFQihGQjJq... here, Thank you!

Best, Ya