[PRL] Fwd: IBM PL Day schedule

[David Van Horn]

The IBM PL Day schedule is below.  It's going to be held Friday, July 16 
in Hawthorne, NY.  More details will appear at

http://domino.research.ibm.com/comm/research_projects.nsf/pages/plday.index.html

David

-------- Original Message --------
Subject: 	IBM PL Day schedule
Date: 	Fri, 16 Jul 2010 16:41:00 -0400
From: 	Emina Torlak <etorlak at us.ibm.com>
To: 	David Van Horn <dvanhorn at ccs.neu.edu>



Dear David,

Below is the schedule for the IBM PL Day. It should appear on the
website in the next few business days, after it has been approved by the
web master.

Cheers,
Emina

9:00-9:30 BREAKFAST

Keynote
9:30-10:30 Doug Lea (State University of New York at Oswego)
Engineering Fine-Grained Parallelism Support for Java7

10:30-10:45 BREAK

Session 1: Parallelism and Concurrency
10:45-11:10 Arun Raman (Princeton University)
Speculative Parallelization Using Software Multi-threaded Transactions
11:10-11:35 Guojing Cong, George Almasi, and Vijay Saraswat (IBM Research)
Engineering Distributed Graph Algorithms in PGAS Languages
11:35-12:00 Ryan Newton (MIT)
Intel Concurrent Collections for Haskell

12:00-1:00 LUNCH

Session 2: Domain Specific Languages and Constructs
1:00-1:25 Dominic Duggan and Ye Wu (Stevens Institute of Technology)
Secure Nested Transactions
1:25-1:50 Robert Grabowski and Lennart Beringer (Princeton University)
Noninterference for Dynamic Security Environments
1:50-2:15 Ashish Agarwal (Yale University)
Mechanizing Optimization and Statistics

2:15-2:30 BREAK

Session 3: Logic and Analysis
2:30-2:55 Ming Fu (Yale University)
Reasoning About Optimistic Concurrency Using a Program Logic for History
2:55-3:20 Kenneth Roe and Scott Smith (Johns Hopkins University)
A Framework for Describing Recursive Data Structure Topologies
3:20-3:45 David Van Horn (Northeastern University), Christopher Earl and
Matthew Might (University of Utah)
Push-Down Control-Flow Analysis of Higher-Order Programs

3:45-4:15 COFFEE

Session 4: Languages and Tools for the Web
4:15-4:40 Robert Muth, Brad Chen, Alan Donovan, and Misha Brukman (Google)
NaCl: Spice up Your Browser
4:40-5:05 Peng Wu (IBM Research)
Compilers are from Mars, Dynamic Scripting Languages are from Venus
5:05-5:30 Nate Foster (Cornell University), Michael Freedman, Rob
Harrison, Matthew Meola, Jennifer Rexford, and David Walker (Princeton
University)
Frenetic: Functional Reactive Programming for Networks