CSE590N: Software Engineering Seminar

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

Autumn 2010 schedule:

  1. 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
  2. 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
  3. Oct 19
    Refactoring References for Library Migration
    by Puneet Kapur, Brad Cossette, Robert J. Walker
    In OOPSLA 2010.
    Presenter: David
  4. 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
  5. Nov 2
    Random testing for higher-order, stateful programs
    by Casey Klein, Matthew Flatt, Robert Bruce Findler
    In OOPSLA 2010.
    Presenter: Daniel
  6. Nov 9
    No meeting (FSE in Santa Fe, NM)
  7. 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
  8. Nov 23
    Specifying and Implementing Refactorings
    by Max Schaefer, Oege de Moor
    In OOPSLA 2010.
    Presenter: Sai
  9. Nov 30
    Representation Dependence Testing using Program Inversion
    by Aditya Kanade, Rajeev Alur, Sriram Rajamani, Ganesan Ramalingam
    In FSE 2010.
    Presenter: Brian
  10. Dec 7
    DSketch: Lightweight, Adaptable Dependency Analysis
    by Brad Cossette, Robert J. Walker
    In FSE 2010.
    Presenter: Todd

590N home