Software Engineering Seminar

Bertrand Meyer, spring semester 2009


News | Overview | Papers | Schedule | Additional material | Assistants


News

24.02.2009 The slides presented today are available below.
23.02.2009 Paper and presentation date assignment now available (see below).
17.02.2009 If you are not subscribed to the course and did not attend the first meeting today, but would like to take the seminar, please send an email to Ilinca Ciupa.
16.02.2009 Updated the list of papers.
09.02.2009 Preliminary version of webpage.

Overview

Software Engineering Seminar, 251-0276-00 S

ECTS: 2 KP

Time and place: every Tuesday in the spring semester 2009, 08.15 - 10.00 AM, room RZ F21

Language: English

Conditions for getting the credit points:

  • passing grade for the presentation
  • sending the slides of your talk to the organizing assistant (after your presentation)
  • attending at least 10 sessions of the seminar


Proposed papers

Please choose 5 papers from the list below and record your choice using the web page to which you got a link via email by 20 February 2009. We will assign papers based on your preferences and will announce the presentation schedule by 23 February 2009.

Id

Paper

Supervising assistant

Program proofs, formal specification
[Freitas07] Leo Freitas, Jim Woodcock: Proving Theorems About JML Classes. In Formal Methods and Hybrid Real-Time Systems, 2007. Carlo Furia
[Abadi03] Martín Abadi and K. Rustan M. Leino: A Logic of Object-Oriented Programs. In Verification: Theory and Practice, 2003. Carlo Furia
[Harwood08] Will Harwood, Ana Cavalcanti, Jim Woodcock:A Theory of Pointers for the UTP. In Proceedings of ICTAC 2008. Carlo Furia
[Nordio08] Martin Nordio, Peter Müller and Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. In Proceedings of TOOLS 2008. Ilinca Ciupa
Model checking
[Podelski05] Andreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2005. Yu Pei
[Flanagan05] Cormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2005. Yu Pei
[Beyer07] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar: The software model checker Blast. In STTT, volume 9, number 5-6, pp. 505-525, 2007. Carlo Furia
Abstract interpretation
[Engler04] Dawson R. Engler, Madanlal Musuvathi: Static Analysis versus Software Model Checking for Bug Finding. In Proceedings of VMCAI, 2004. Carlo Furia
[Kremenek06] Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler: From Uncertainty to Belief: Inferring the Specification Within. In Proceedings of OSDI, 2006. Carlo Furia
Testing
[Csallner08] Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: Dynamic Symbolic Execution for Invariant Inference. In Proceedings of the International Conference on Software Engineering (ICSE), 2008. Ilinca Ciupa
[Godefroid05] Patrice Godefroid, Nils Klarlund, Koushik Sen: DART: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, 2005. Ilinca Ciupa
[Pacheco07] Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-directed random test generation. In Proceedings of the 29th International Conference on Software Engineering (ICSE), 2007. Ilinca Ciupa
[Moser08] Raimund Moser, Witold Pedrycz and Giancarlo Succi: A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Ilinca Ciupa
[Rajan08] Ajitha Rajan, Michael W. Whalen and Mats P.E. Heimdahl: The effect of program and model structure on mc/dc test adequacy coverage. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Ilinca Ciupa
Software development environments
[Ko08] Andrew J. Ko and Brad A. Myers: Debugging reinvented: asking and answering why and why not questions about program behavior. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Ilinca Ciupa
[Murphy-Hill08] Emerson Murphy-Hill and Andrew P. Black: Breaking the barriers to successful refactoring: observations and tools for extract method. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Ilinca Ciupa
[Kersten06] Mik Kersten and Gail C. Murphy: Using task context to improve programmer productivity. In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, 2006. Ilinca Ciupa
[Schäfer08] Max Schäfer, Torbjörn Ekman and Oege de Moor: Sound and extensible renaming for java. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, 2008. Yu Pei
Software process
[Ricca08] Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato and Corrado Aaron Visaggio: Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Ilinca Ciupa
[Ramasubbu07] Narayan Ramasubbu and Rajesh Krishna Balan: Globally distributed software development project performance: an empirical analysis. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007. Ilinca Ciupa
[LaToza06] Thomas D. LaToza, Gina Venolia and Robert DeLine: Maintaining mental models: a study of developer work habits. In ICSE '06: Proceedings of the 28th international conference on Software engineering, 2006. Ilinca Ciupa
[Storey08] Margaret-Anne Storey, Jody Ryall, R. Ian Bull, Del Myers and Janice Singer: TODO or to bug: exploring how task annotations play a role in the work practices of software developers. In ICSE '08: Proceedings of the 30th international conference on Software engineering, 2008. Yu Pei
Concurrency
[Dragert08] Christopher Dragert, Juergen Dingel, and Karen Rudie: Generation of concurrency control code using discrete-event systems theory. In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008. Carlo Furia
[Xian08] Feng Xian, Witawas Srisa-an, and Hong Jiang: Contention-aware scheduler: unlocking execution parallelism in multithreaded Java programs. In SIGPLAN Not., volume 43, number 10, pp. 163-180, 2008. Carlo Furia
[Schneider08] Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, and Ali-Reza Adl-Tabatabai: Dynamic Optimization for Efficient Strong Atomicity. In SIGPLAN Not., volume 43, number 10, pp. 181-194, 2008. Carlo Furia
[Manson05] Jeremy Manson, William Pug, and Sarita V. Adve: The Java memory model. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2005. Yu Pei
[Harris06] Tim Harris, Mark Plesko, Avraham Shinnar and David Tarditi: Optimizing memory transactions. In SIGPLAN Not., volume 41, number 6, pp. 14-25, 2006. Yu Pei
[Grossman06] Dan Grossman, Jeremy Manson and William Pugh: What do high-level memory models mean for transactions?. In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness, 2006. Yu Pei
Advanced O-O technology
[Gil08] Joseph Gil and Itay Maman: Whiteoak: introducing structural typing into Java. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, 2008. Carlo Furia
[Zibin07] Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst: Object and Reference Immutability using Java Generics . In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007. Carlo Furia
[Kuehne07] Thomas Kuehne and Daniel Schreiber: Can programming be liberated from the two-level style: multi-level programming with deepJava. In SIGPLAN Not., volume 42, number 10, pp. 229-244, 2007. Carlo Furia

Schedule

Date

Paper

Presenter

Slides

03.03 [Zibin07] Filip Wieladek presentation
[Ko08] Philipp Bichsel presentation
10.03 [Ramasubbu07] Mohammad Seyed Alavi presentation
17.03 [Beyer07] Stefan Bucholz presentation
[Kersten06] Reto Conconi presentation
24.03 [Murphy-Hill08] Robin Stoll presentation
[Kuehne07] Reto Mock presentation, overhead 1, overhead 2
31.03 [Kremenek06] Boris Bluntschli presentation
[Rajan08] Arno Fiva presentation
07.04 [Moser08] Andres Bühlmann presentation
[Engler04] Prateek Agarwal presentation
21.04 [Dragert08] David Gerhard presentation
28.04 [Csallner08] Lukas Schwab presentation
[Freitas07] Simon Hudon
05.05 [Manson05] Ruedi Steinmann presentation
[Harris06] Nico Eigenmann
12.05 [Storey08] Hugger Alex presentation
[Schäfer08] Daniel Gasienica presentation
19.05 [Flanagan05] Ulrich Mueller presentation
[Podelski05] Can Ali Akgül presentation
26.05

Additional material

Slides presented in the second session (24.02.2009) on how to give a technical talk: pptx, pdf

Assistants

Assistant

Office

Phone

Language

Ilinca Ciupa* RZ J8 044 632 44 49 English
Carlo Furia RZ J3 044 632 44 70 English
Yu Pei English
* Organizing Assistant