Next Meeting: Thursday, 28 August 2008The next NJPLS will be held at IBM T.J. Watson. Program: 9:00 - 10:00 BREAKFAST 10:00 - 11:15 keynote: title TBD Saman Amarasinghe, MIT 11:15 - 11:35 Experiences with CUDA for GPGPU's. Ben Lerner, Princeton Univ. 11:35 - 11:55 EventJava. Jayaram & Eugster, Purdue 11:55 - 12:15 Quotient Lenses. Foster & Pierce, U.Penn 12:15 - 1:30 LUNCH 1:30 - 1:50 Evidence-based Audit. Vaughn & Zdancewic, U.Penn 1:50 - 2:10 Expressive and Sound Object Initialization. Qi & Meyers, Cornell 2:10 - 2:30 Writing Chaotic Compilers with Higher-order Rewriting. Kristoffer Rose, IBM 2:30 - 2:45 BREAK 2:45 - 3:05 Semantics-based Code Search. Stephen Reiss, Brown 3:05 - 3:25 Limits of Heap Compression. Martin Hirzel, IBM 3:25 - 3:45 GC Assertions. Aftandilian & Guyer, Tufts 3:45 - 4:15 BREAK 4:15 - 4:35 Constraint-based Approach to Program Analysis. Saurabh Srivastava, U. Maryland 4:35 - 4:55 Finding Bugs in Code with a SAT Solver. Vaziri & Dolby & Tip, IBM 4:55 - 5:15 Efficient Runtime Invariant Checking. Michael Gorbovitski, SUNY Stony Brook About NJPLSThe New Jersey Programming Languages and Systems Seminar Series is an informal forum that promotes interaction amongst programming languages and systems researchers in the New Jersey area. The series provides an opportunity to present unfinished research-in-progress and receive feedback and constructive criticism. We hold one day meetings about every few months, usually at one of Agere, AT&T Florham Park, Avaya, Bell Labs Lucent, Rutgers, Princeton University, Stevens, or U. Penn. Meeting agendas are coordinated by a chairman who is selected by popular vote. There are four or five informal talks per day of about forty-five minutes each, usually beginning about 10:00am and ending about 4:00pm. Attendence currently averages about 30 people.Joining NJPLSWhile we would like the group to remain reasonably small to promote interaction, the invitation list is by no means closed. If you are interested in attending the seminar or joining the mailing list, please send email to Steve Zdancewic.Links
Many thanks to Andrew Wright, who ran the NJPLS website and mailing list from December of 1994 until October of 2001, and Kathleen Fisher, who ran it from October 2001 until August 2005. Maintained by: Steve Zdancewic (stevez@cis.upenn.edu) |