News

September 24, 2013

Check out our MOOC! A project led by Marco Piccioni has resulted in an electronic version (Massive Open Online Course) of our popular course “Introduction to Programming”. Participants from anywhere in the world can take the course at their own pace, including exercises and quizzes. They can also compile and run their example programs on the Web, and test them against correct results, with no software installation required, thanks to Christian Estler’s Eiffel4Mooc framework at http://se.ethz.ch/mooc/programming.

August 29, 2013

Our paper Collaborative Debugging has won the Best Paper Award at the 8th International Conference on Global Software Engineering (ICGSE).

Aug 16, 2013
We've launched a new website for our ERC Advanced Grant research project, Concurrency Made Easy (CME). Find out about our team, our current research activities, the SCOOP concurrency model, and watch our new YouTube video at cme.ethz.ch.

May 27, 2013

The paper Using Contracts to Guide the Search-Based Verification of Concurrent Programs by Chris Poskitt and Simon Poulding has been accepted for publication at SSBSE 2013.

May 09, 2013

The paper Examining the Expert Gap in Parallel Programming by Sebastian Nanz, Scott West, and Kaue Soares da Silveira has been accepted for publication at Euro-Par 2013.

May 08, 2013

Try some of our research tools online. The Comcom website lets you run them directly in your browser. Comcom currently features the tools AutoProof, Boogaloo, Javanni and QFIS.

May 07, 2013

The paper Collaborative Debugging by H.-Christian Estler, Martin Nordio, Carlo A. Furia, and Bertrand Meyer has been accepted for publication at ICGSE 2013.

April 10, 2013

The paper Concurrent Object-Oriented Development with Behavioral Design Patterns by Benjamin Morandi, Scott West, Sebastian Nanz, and Hassan Gomaa has been accepted for publication at ECSA 2013.

March 31, 2013

The paper Program Checking With Less Hassle by Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer has been accepted for publication at VSTTE 2013.

March 21, 2013

The paper Prototyping a Concurrency Model by Benjamin Morandi, Mischael Schill, Sebastian Nanz, and Bertrand Meyer has been accepted for publication at ACSD 2013.

March 13, 2013

The Roboscoop team has successfully demonstrated their progress at the SmartWorld workshop in Spiez, Switzerland. A video of the SmartWalker in action is available online.

February 12, 2013

The paper "Unifying Configuration Management with Merge Conflict Detection and Awareness Systems" by H.-Christian Estler, Martin Nordio, Carlo A. Furia and Bertrand Meyer has been accepted for publication at ASWEC 2013.

November 20, 2012

The paper "What Good Are Strong Specifications?" written by Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer has been accepted for publication at ICSE 2013.

November 9, 2012

The paper "The Search for the Laws of Automatic Testing" written by Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, and Yi Wei has been accepted for publication at the Software Verificationa and Testing track of ACM SAC 2013.

October 24, 2012

The book "Modeling time in computing" written by Carlo A. Furia (with D. Mandrioli, A. Morzenti, and M. Rossi) has been published by Springer and is available online.

September 5, 2012

The paper Who is Accountable for Asynchronous Exceptions?, written by Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer, has been accepted for publication at the 19th Asia-Pacific Software Engineering Conference (APSEC'12).

September 3, 2012

The paper Design of an Empirical Study for Comparing the Usability of Concurrent Programming Language, written by Sebastian Nanz, Faraz Torshizi, Michela Pedroni, and Bertrand Meyer, has been accepted for publication in the journal Information and Software Technology.

August 31, 2012

Our paper Agile vs. Structured Distributed Software Development: A Case Study has won the Best Paper Award at the 7th International Conference on Global Software Engineering (ICGSE).

August 29, 2012

The paper C to O-O: beyond the easy stuff, written by Marco Trudel, Carlo A. Furia, Martin Nordio, and Bertrand Meyer with Manuel Oriol, and the tool paper Automatic C to O-O translation with C2Eiffel, written by Marco Trudel, Carlo A. Furia, and Martin Nordio, have been accepted for publication at the 19th Working Conference on Reverse Engineering.

June 27, 2012

The paper Demonic Testing of Concurrent Programs, written by Scott West, Sebastian Nanz, and Bertrand Meyer, has been accepted for publication at the 14th International Conference on Formal Engineering Methods.

June 20, 2012

The paper A Verifier for Functional Properties of Sequence-Manipulating Programs, written by Carlo A. Furia, has been accepted for publication at the 10th International Symposium on Automated Technology for Verification and Analysis.

June 12, 2012

The paper Performance Analysis of SCOOP Programs, written by Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer, has been accepted for publication in the Journal of Systems & Software.

May 24, 2012

The paper Automata-Based Verification of Linear Temporal Logic Models with Bounded Variability, written by Carlo A. Furia with P. Spoletini, has been accepted for publication at the 19th International Symposium on Temporal Representation and Reasoning.

May 01, 2012

Our paper Agile vs. Structured Distributed Software Development: A Case Study., authored by H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer and Johannes Schneider has been accepted for publication at the 7th International Conference on Global Software Engineering (ICGSE).

April 24, 2012

The Chair of Software Engineering welcomes two new PhD student members: Andrey Rusakov and Mischael Schill.

March 18, 2012

The paper Can Asynchronous Exceptions Expire?, written by Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer, has been accepted for publication at the 5th International Workshop on Exception Handling (WEH'12) @ ICSE 2012.

December 14, 2011

Bertrand Meyer and the Chair of Software Engineering have received an Advanced Investigator Grant (AIG) from the European Research Council (ERC) for the "Concurrency Made Easy" project.

The AIG program of the ERC is the most prestigious funding mechanism of the European Union, with a success rate of about 12% out of a set of applicants (well-established researchers) already strictly self-selected by their institutions. Our project is the first one awarded to ETH in computer science since the AIG program was started in 2008. The grant is for approximately 2.5 million euros (3 million CHF) over a period of five years, starting April 2012.

The goal of the project, Concurrency Made Easy, is to contribute a breakthrough advance to software engineering by making concurrent programming as straightforward and reliable as other forms of programming. The stakes are huge, since with the end of Moore's Law as we knew it the only path to further performance improvements is through the use of concurrent architectures, but the commonly used techniques, such as multithreading mechanisms in common programming languages, remain at an unduly low level of abstraction, making them hard to use and leading to unreliable programs.

The project description is available here. We will shortly publish position announcements for postdocs, PhD students and a research engineer.