Systems and Programming Languages Seminar Schedule Winter 2007

In 3083 Kemper Hall
Combined Seminar from 12:00pm-1:30pm on Tuesdays.

Upcoming
Paper/Presentation
Date Title Authors Source
Paper 1/16/07 From Uncertainty to Belief: Inferring the Specification Within Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler OSDI '06
Paper 1/30/07 Links: Web Programming Without Tiers Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop ESOP '06
Paper 2/6/07 Isolating and Relating Concerns in Requirements using Latent Semantic Analysis Lo Kwun Kit, Chan Kwun Man, and Elisa Baniassad OOPSLA '06
Paper 2/6/07 Understanding the Shape of Java Software Gareth Baxter, Marcus Frean, James Noble, Mark Rickerby, Hayden Smith, Matt Visser, Hayden Melton, and Ewan Tempero OOPSLA '06
Paper 2/13/07 The Paradoxival Success of Aspect-Oriented Programming Friedrich Steimann OOPSLA '06
Paper 3/5/07 Mining Security-Sensitive Operations in Legacy Code using Concept Analysis Vinod Ganapathy, David King, Trent Jaeger, Somesh Jha. ICSE '07

Future Paper Queue

If you would like to propose a paper or give a presentation please contact Christian Bird or Zhendong Su.
Upcoming
Paper/Presentation
Date Title Authors Source

Go up to CSSR homepage.
Coordinated by Christian Bird (cabird AT gmail DOT com) and Jeff Wu (jtzwu AT ucdavis DOT edu)