[pl-seminar] Talk @ noon on 4/01 - not a joke

[Calvin Smith <cjsmith@xxxxxxxxxxx>]

Howdy yâall,

Next Monday (April 1st) at 12pm in CS 4310, Thomas Reps will be giving a talk titled âA Tale of Two MURIs: Authorization Meets Model Checkingâ. The talk sounds quite interesting - check out the abstract below. Hope to see you all there!

- Calvin

Abstract:

This talk is a practice talk for a presentation to be given at the ETAPS 2019 Mentoring Workshop. The charge to presenters was to ``... chart the life of one idea from inception to final outcome.''

 

In the talk, I will describe work I carried out from 2003-2011 with Somesh Jha, Stefan Schwoon, Akash Lal, Nick Kidd, and others on access control for shared computing resources on the one hand and static program analysis and model checking on the other. It turned out that there was a surprising connection between these two apparently different subjects.