[Pl-seminar] Colloquium: Policy Analysis, an Application of Programming Language Technology

[Matthias Felleisen]

The NUPRL Colloquium Series continues next week on Wednesday, Jan 18, 
at 11:45 (regular day day and time): 

---------------------------------------------------------------------

  Policy Analysis, an Application of Programming Language Technology

                       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.

---------------------------------------------------------------------

Dan Dougherty and Kathi Fisler, Shriram's co-authors, will also attend. 
If you would like to meet with a part of the author team, please send
me a private email 

-- Matthias