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 | |||||