This light seminar on program analysis will cover current research that 'fits' between software engineering and compilation/programming languages. The analyses we will examine provide the formal basis for software tools used in testing, debugging, performance analysis, program understanding and security. We will be reading papers about analyses AND their uses in practical software tools. We will concentrate on reviewing papers from relevant conferences: PLDI, OOPSLA, ICSE, FSE, ISSTA, CC, ISMM, ICSM, etc. and journals: SPE, TOSEM, TOPLAS, IEEE-TSE. Our focus will be on recent conference papers, but we also may cover seminal works in certain areas.

Participants in this seminar are expected to present 1-2 research papers during the term. We will meet once every week for approximately 90 minutes on Thursday afternoons, 3:00-5:00pm in CoRE B conference room.

The organizational meeting of the seminar will be held on Weds, January 23rd at noon in Core 331 (the Prolangs Lab), since the seminar will start meeting on Feb 7th due to Prof Ryder's travel during the first 2 weeks of the spring term. At our first meeting, we will lay out the schedule, at least for the beginning of the term.

Our light seminar last term can be viewed here; the papers shown give a 'feel' for the papers we will be reading. The list of papers at the bottom of the page will form the basis of our reading list; we will augment them with selections from meetings that occurred during Summer/Fall 2007 and also possibly with talks by visitors to our research group.

If you have any questions regarding this light seminar, please contact Prof. Ryder (ryder-at-cs.rutgers.edu) by email.

Last updated by BGR on January 2, 2008.