CSE590N: Software Engineering Seminar

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

Spring 2011 schedule:

Mar 29

Coalescing Executions for Fast Uncertainty Analysis by William Sumner, Tao Bao, Xiangyu Zhang, and Sunil Prabhakar. In ICSE 2011.
Presenter: Werner Dietl

Apr 5

Unifying Execution of Imperative and Declarative Code by Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson. In ICSE 2011.
Presenter: Brian Burg

Apr 12

Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking by Lucas Cordeiro and Bernd Fischer. In ICSE 2011.
Presenter: Sai Zhang

Apr 19

Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders by Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, and Mira Mezini. In ICSE 2011.
Presenter: Todd Schiller

Apr 26

Inferring Better Contracts by Yi Wei, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer. In ICSE 2011.
Presenter: Daniel Perelman

May 3

Run-Time Efficient Probabilistic Model Checking by Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli. In ICSE 2011.
Presenter: Ivan Beschastnikh

May 10

Coverage-Guided Systematic Concurrency Testing by Chao Wang, Mahmoud Said, and Aarti Gupta. In ICSE 2011.
Presenter: Colin Gordon

May 17

Programs, Tests, and Oracles: The Foundations of Testing Revisited by Matt Staats, Michael W. Whalen, and Mats P.E. Heimdahl. In ICSE 2011.
Presenter: Chris Bird

May 24

No meeting (ICSE in Honolulu)

May 31

kb-Anonymity: A Model for Anonymized Behavior-Preserving Test and Debugging Data, by Aditya Budi, David Lo, Lingxiao Jiang, and Lucia. In PLDI '11.
Presenter: Kivanc Muslu

590N home