[PRL] Shriram in January

[Matthias Felleisen]

I have finally been able to pin down Shriram for a talk here. Mark your calendars for Jan 18. 

As many of you know he applies PL techniques to SE problems
(and does some PL too). I have asked him to present work that
is a bit outside of core PL to get an example of this kind of
work. The abstract is below; the work is sponsored by Cisco 
(and used there) and by Google. 

Shriram said he may bring along his co-authors, which would 
mean a chance to talk to three faculty members while you have
to listen to only one talk. It's a three-for, a real deal, a
steal, a free gift :-) Details when we get closer; I will 
arrange a schedule then. 

-- Matthias





                          Policy Analysis

                       Shriram Krishnamurthi
                          Brown University

Access-control policies control data dissemination in domains from
health-care to social networks.  Similar policies also govern various
aspects of firewalls and routers.

The subtle nature of these policies suggests this is a natural domain
to apply formal methods, while the separate authoring of policies in
domain-specific languages affords opportunities for powerful analysis.
It is, however, unclear that the straightforward application of
verification is appropriate or useful.  The talk will describe our
work on useful forms of input and output, the concrete tools we've
produced, and our increasing use of human cognitive aspects to drive
our next generation of research in this area.

                   http://www.margrave-tool.org/