[Pl-seminar] 22nd March: Aquinas Hobor: Mechanized Verification of Graph-manipulating Programs

[Aviral Goel]

*Date:* Friday, March 22nd 2019
*Location:* WVH 366
*Time:* 10:00 AM to 11:30 AM
*Speaker:* Aquinas Hobor
*Faculty Host:* Amal Ahmed

*Mechanized Verification of Graph-manipulating Programs
<http://prl.ccs.neu.edu/seminars.html#hobor-mechanized-verification-of-graph-manipulating-programs>*
*Aquinas Hobor*



*Abstract*Graph-manipulating programs such as garbage collectors are
notoriously unpleasant to reason about, which is unfortunate since such
programs are also used in critical algorithms and systems. We show how to
verify such programs written in real C in a fully machine-checked context.

*Bio*

Aquinas Hobor is an Assistant Professor with a joint appointment at
Yale-NUS College and the School of Computing, National University of
Singapore. From 2008-2011 he was a Lee Kuan Yew Postdoctoral Fellow after
getting his PhD from Princeton University. He grew up near Chicago and his
Go ranking is approximately 1-dan.


Best,
Aviral
-------------- next part --------------
HTML attachment scrubbed and removed