[PRL] Fwd: RSVP NJPLS at Rutgers, Fri 10 Dec

[David Van Horn]

-------- Original Message --------
Subject: RSVP NJPLS at Rutgers, Fri 10 Dec
Date: Mon, 29 Nov 2010 11:51:12 -0500
From: Chung-chieh Shan <ccshan at cs.rutgers.edu>
To: nj-pls at lists.seas.upenn.edu

Hello,

Please come to Rutgers on Friday, December 10, 2010 for the next
instance of the NJ Programming Languages and Systems Seminar!
Here's the agenda:

          arrival and breakfast
    10:00 Making prophecies with decision predicates
          Eric Koskinen, University of Cambridge
    10:30 Bridging the functional-imperative divide
          Jean-Baptiste Jeannin, Cornell University
    11:00 break
    11:30 Modular analysis via abstract reduction semantics
          Sam Tobin-Hochstadt and David Van Horn, Northeastern University
    12:00 lunch in CoRE 301
    1:30  Polymorphic contracts
          Michael Greenberg, University of Pennsylvania
    2:00  break
    2:30  Yarra: an extension to C for data integrity and partial safety
          Cole Schlesinger, Princeton University
    3:00  Transcript: a system for speculative execution of untrusted
          JavaScript code
          Mohan Dhawan, Rutgers University
    3:30  close

The abstracts and (shortly) local information are posted at
http://njpls.org/dec10.html

Please RSVP by email to me by Friday, December 3, 2010, and note any
dietary restrictions.  Thank you.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 190 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20101129/093787a6/attachment.pgp