IBM Programming Languages Day - PL Day 2009


The tenth annual Programming Languages Day will be held at the IBM Thomas J. Watson Research Center on Thursday, May 7, 2009. The day will be held in cooperation with the New Jersey and New England Programming Languages and Systems Seminars. The main goal of the event is to increase awareness of each other's work, and to encourage interaction and collaboration between industry and academia.

This year, the Programming Languages Day will be organized around the theme of "From Theory to Practice" and will feature two keynote presentations: an academic presentation by Dr. Andrew Myers of Cornell University, and an industrial Presentation by Dr. Dino Oliva of Bloomberg LP. In addition, we plan to have 8 regular presentations of 25 minutes each and 10 posters.


The Programming Languages day will be held in room GN-F15 in the Hawthorne-1 building in Hawthorne, New York. You are welcome from 8.30 AM onwards, and the keynote presentation will start at 9.30AM sharp. We expect the program to run until 5.30PM.

If you plan to attend the Programming Languages Day, please register by sending an e-mail with your name, affiliation, and contact information to bordaw@us.ibm.com so that we can plan for lunch and refreshments to be available.

Program committee:

* Rajesh Bordawekar, IBM T. J. Watson Research Center
* David Naumann, Stevens Institute of Technology
* Riccardo Pucella, Northeastern University




Academic Keynote:

Title: Fabric: A Higher-Level Abstraction for Secure Distributed Programming

Speaker: Andrew Myers, Cornell University

Abstract:

Fabric is a new system and programming language for securely programming
and sharing distributed, persistent objects. It allows different network
sites to securely share both information and computation resources,
while making distribution and persistence largely transparent to
programmers. Fabric makes several technical innovations that address
the weaknesses of previous related systems. It allows computations to
be split across client/server boundaries, so computation can be
shipped to other clients or servers to meet security requirements or
to reduce bandwidth. This generalizes the query functionality offered
by databases. Fabric provides a rich, Java-like object model in which
data resources are labeled with confidentiality and integrity policies
that are enforced through a combination of compile-time and run-time
mechanisms. It has an optimistic transactional model that securely
enforces consistency across an arbitrary number of participating
objects, clients, and servers. A peer-to-peer dissemination layer can
be used to increase availability and balance load, with encryption and
signing used to protect information. Results from several
applications show that Fabric has a clean, concise programming model,
offers good performance, and enforces security.

Bio:

Andrew Myers is an Associate Professor in the Computer Science
Department at Cornell University in Ithaca, NY. He received his Ph.D. in
Electrical Engineering and Computer Science from MIT in 1999.

His research interests include computer security, programming languages,
and distributed and persistent objects. His work on computer security
has focused on practical, sound, expressive languages and systems for
enforcing information security. The Jif programming language makes it possible to write programs
which the compiler ensures are secure. The Polyglot extensible compiler framework is now widely
used for programming language research.

Myers is the recipient of an NSF CAREER award, an Alfred P. Sloan
Fellowship, a George M. Sprowls award for outstanding Ph.D. thesis from
MIT, and best paper awards for papers in SOSP 2001 and SOSP 2007.

Industrial Keynote:

Title: From Theory to Practice: Experiences Transforming Software Development at Bloomberg LP.

Speaker: Dino Oliva, Bloomberg, LP.

Abstract and Bio : Dino Oliva received his PhD from in the area of compiler construction and verification and subsequently continued to do research in the areas of programming languages and formal methods of software development. In 2004, he left the research community to join Bloomberg LP, a financial information company, to attempt to apply his research background to the company's effort to revise their software development process. In this talk, he will discuss his experiences with this effort.




Program

* Start @ 9:20AM , Welcome Address by Rajesh Bordawekar

o Keynote: 9.30 - 10.45AM , Fabric: A Higher-Level Abstraction for Secure Distributed Programming , Andrew Myers, Cornell University.

o Break: 0:15 minutes

o Session 1: 11 AM- 12.15 PM . 3 Talks: 0:25 min each

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 Soule, 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

o Lunch: 12:15 - 1:15PM

o Session 2: 1.15-2.30 pm . 3 Talks: 25 min each

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

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

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

o Break: 0:15

o Session 3: 2.45-3.35 pm . 2 Talks: 25 min each

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

8. Shifting the Stage: Staging with Delimited Control , Yukiyoshi Kameyama (Tsukuba), Oleg Kiselyov (FNMOC), Chung-chieh Shan (Rutgers)

o Tea: 3:35 - 4.15 PM

o Keynote: 4.15- 5.30 PM , From Theory to Practice: Experiences Transforming Software Development at Bloomberg LP. , Dino Oliva, Bloomberg LP.

* End @ 5:30PM




Posters:

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

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

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

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

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

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

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

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

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

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