Abstract Interpretation in PLV Reading Group this week
1 view
Skip to first unread message
Anthony Sloane
Feb 12, 2019, 12:08:05 AM2/12/19
to O365-Group-Computing Academic, O365-Group-Computing Postgraduate, sci.plrg-reading-Google-Group
The programming languages and verification reading group at Macquarie University, Department of Computing meets on (most) Fridays from 4pm in 9WW357 (formerly E6A357). All welcome. The reading group home page is at:
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Abstract Interpretation
On February 15 we will discuss the paper "Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT" by Jiang et al from VMCAI 2017 [1].
Readings
[1] https://link.springer.com/chapter/10.1007/978-3-319-52234-0_17
Please contact us if you are unable to access the reading(s) via the links above.
We hope to see you there.
Tony, Matt, Dom and Franck
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Abstract Interpretation
On February 15 we will discuss the paper "Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT" by Jiang et al from VMCAI 2017 [1].
Readings
[1] https://link.springer.com/chapter/10.1007/978-3-319-52234-0_17
Please contact us if you are unable to access the reading(s) via the links above.
We hope to see you there.
Tony, Matt, Dom and Franck
Reply all
Reply to author
Forward
0 new messages