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
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