Cameron Wong will present the following paper and lead the discussion.
Johannes Bader, Jonathan Aldrich, and Éric Tanter. 2018. Gradual Program Verification. In Verification, model checking, and abstract interpretation, Isil Dillig and Jens Palsberg (eds.). Springer International Publishing, Cham, 25–46. DOI:https://doi.org/10.1007/978-3-319-73721-8_2
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
|
7 |
8 |
9 |
10 |
11 |
12 |
13 |
|
14 |
15 |
16 |
17 |
18 |
19 |
20 |
|
21 |
22 |
23 |
24 |
25 |
26 |
27 |
|
28 |
29 |
30 |
|
|
|
|
