Resource Reasoning

April 2015 Research Meeting

Resource Reasoning project meeting, Monday, 20th April 2015, 10:00-16:30. Room 422, Roberts Building, UCL, Gower Street, WC1E 6BT

Attendees

Schedule

| Time | Speaker | Title | Affiliation | | —- | ——- | —– | ———– | | 10:00 - 10:15 | Tea, Coffee | | 10:15 - 10:30 | David Pym | Introduction | UCL | | 10:30 - 11:15 | Radu Grigore | Teaching Static Analyses to Guess Proofs | Oxford | | 11:15 - 11:45 | Reuben Rowe | Verifying Heap-Manipulating Recursive Procedures Using Cyclic Proof | UCL | | 11:45 - 12:15 | Daiva Naudziuniene | Intermediate Verification Language for JavaScript | Imperial | | 12:15 - 13:00 | Lunch | | 13:00 - 13:30 | Gian Ntzik | Concurrent Specification for POSIX (on-going) | Imperial | | 13:30 - 14:00 | Simon Docherty | A Logical Framework for Access Control Policy Models | UCL | | 14:00 - 14:30 | Pedro Miguel da Rocha Pinto | Termination Proofs for Non-Blocking Concurrent Programs | Imperial | | 14:30 - 15:00 | Fredrik Dahlqvist | Completeness-via-canonicity for Distributive Substructural Logics, A Coalgebraic Perspective | UCL | | 15:00 - 15:30 | Richard Bornat | Part of a Weak Memory Program Logic | UCL | | 15:30 - 16:00 | Nathan Chong | Many-Core Compiler Fuzzing | UCL | | 16:00 - 16:30 | Open Discussion with Cliff Jones | | Newcastle |