[Pl-seminar] IBM PL Day (joint NEPLS/NJPLS) program and call for registration

[Shriram Krishnamurthi]

** In case you plan to attend the PL Day and haven't registered yet,
please email a note to bordaw at us.ibm.com **

This year's Programming Languages day will be held on Thursday, May 7,
2009 in IBM Research, Hawthorne, in the conference room GN-F15.  It
will feature 8 25-minutes presentations and 12 posters. In addition,
we will have 2 keynote speakers, Dr. Andrew Myers (Cornell University)
and Dr. Dino Oliva (Bloomberg LP).  The program will begin at 9.25 am
and run until 5.30 pm.

The PL Day webpage
(http://domino.research.ibm.com/comm/research_projects.nsf/pages/plday.plday2009.html)
will be updated soon with the details.

The list of accepted papers and posters is as follows:

Papers:

1. Language-Based Security on Android, Avik Chaudhuri, UMD

2. Spade: Opening the Levees for Stream Processing, Martin Hirzel,
Henrique Andrade, Bugra Gedik, Vibhore Kumar, Giuliano Losa, Robert
Soulé, Kun-Lung Wu, IBM

3. Thorn---Robust, Concurrent, Extensible Scripting on the JVM, Tobias
Wrigstad, Johan Ostlund, Gregor Richards, Jan Vitek, Bard Bloom, John
Field, Nathaniel Nystrom, Rok Strnisa. IBM and others.

4. Updatable Security Views, J. Nathan Foster, Benjamin Pierce, Steve
Zdancewic, UPenn

5. Shifting the Stage: Staging with Delimited Control, Yukiyoshi
Kameyama, Oleg Kiselyov, Chung-chieh Shan, Rutgers

6. Learning from the Experiences of Static Analysis Users, Nathaniel
Ayewah and William Pugh, UMD

7. Assessing Alias Analysis for Object-Oriented and Dynamic Languages,
Michael Gorbovitski, K. Tuncay Tekle, Yanhong A. Liu, SUNY Stony Brook

8. The Complexity of Andersen's Analysis in Practice, Manu Sridharan, IBM


Posters:

1. Locality Analysis and Percolation Model, V. C. Sreedhar, IBM

2. Secure Nested Transactions, Dominic Duggan, Stevens Institute of Technology

3. A Compiler On A Page, Kristoffer Rose, IBM

4. Compact Views of Java Memory, Steven Reiss, Brown

5. TAJ: Effective Taint Analysis of Web Applications, Omer Tripp,
Marco Pistoia, Stephen Fink, Manu Sridharan, Omri Weisman, IBM

6. Business Artifacts: A Novel Marriage of Data and Process, Richard Hull, IBM

7. Lime: A Superset of Java for Hybrid Computing, Joshua Auerbach,
David Bacon, Rodric Rabbah, IBM

8. Relating Church-Style and Curry-Style Subtyping, Adriana Compagnoni
and Healf Goguen, Stevens Institute of Technology and Google

9. Native Probabilistic programming: fast, cheap, and out of control,
Oleg Kiselyov and Chung-chieh Shan, Rutgers

10. Efficient program analysis via graph queries, Tuncay Tekle, SUNY Stony Brook

11. Snugglebug: A Powerful Approach to Weakest Preconditions, Satish
Chandra, Stephen Fink, Manu Sridharan, IBM

12. Parametric Heap Usage Analysis for Functional Programs, Leena
Unnikrishnan, SUNY Stony Brook