CSE590N: Software Engineering Seminar

We meet Tuesdays, 1:30-2:20, in room CSE 403.

Autumn 2010 schedule:

Oct 5
An Experiment About Static and Dynamic Type Systems
by Stefan Hanenberg
In OOPSLA 2010.
Optional: Faith, Hope, and Love: An essay on software science's neglect of human factors by Stefan Hanenberg
In Onward 2010.
Presenter: Colin
Oct 12
Finding Latent Performance Bugs in Systems Implementations
by Charles E. Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala
In FSE 2010.
Presenter: Mike
Oct 19
Refactoring References for Library Migration
by Puneet Kapur, Brad Cossette, Robert J. Walker
In OOPSLA 2010.
Presenter: David
Oct 26
Scalable and Systematic Detection of Buggy Inconsistencies in Source Code
by Mark Gabel, Junfeng Yang, Yuan Yu, Moises Goldszmidt, Zhendong Su
In OOPSLA 2010.
Presenter: Kivanc
Nov 2
Random testing for higher-order, stateful programs
by Casey Klein, Matthew Flatt, Robert Bruce Findler
In OOPSLA 2010.
Presenter: Daniel
Nov 9
No meeting (FSE in Santa Fe, NM)
Nov 16
The Missing Links: Bugs and Bug-fix Commits
by Adrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar Devanbu, Abraham Bernstein
In FSE 2010.
Presenter: Yuriy
Nov 23
Specifying and Implementing Refactorings
by Max Schaefer, Oege de Moor
In OOPSLA 2010.
Presenter: Sai
Nov 30
Representation Dependence Testing using Program Inversion
by Aditya Kanade, Rajeev Alur, Sriram Rajamani, Ganesan Ramalingam
In FSE 2010.
Presenter: Brian
Dec 7
DSketch: Lightweight, Adaptable Dependency Analysis
by Brad Cossette, Robert J. Walker
In FSE 2010.
Presenter: Todd