Loop Fusion for Program Verification in PL Reading Group this week

[Anthony Sloane]

The programming languages 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:

Loop Fusion for Program Verification

On June 15 we will discuss a paper by Imanishi et al from PEPM 2018 on guess-and-assume approach to loop fusion for program verification [1].

Readings

[1] https://dl.acm.org/citation.cfm?id=3162070

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