The Chair of Software Engineering is devoted to the development of methods and tools for improving software quality. Although we attempt to cover the whole field of software engineering, our areas of emphasis are:
- Software verification (both proofs and tests)
- Persistence and evolution
- Object-oriented reengineering
- Language design and evolution (with particular focus on Eiffel)
As part of our activities we organize events such as the annual Laser Summer School. We are also organizers of ESEC/FSE 2013 (European Software Engineering Conference). In past years, we published the Journal of Object Technology (JOT) and we organized the TOOLS conference series.
December 2, 2013
The registration for LASER 2014 is now open. The topic will be Leading-Edge Software Engineering.
November 28, 2013 On February 20 we will host a symposium in honour of Professor Niklaus Wirth's 80th birthday. The event is a full-fledged scientific conference with prestigious speakers. We invite you to register and join us in celebrating one of the founding fathers of computer science.
October 11, 2013 Our paper Benchmarking Usability and Performance of Multicore Languages won the Best Paper Award at the 7th International Symposium on Empirical Software Engineering and Measurement (ESEM'13).
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 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.
March 13, 2013
The Roboscoop team has successfully demonstrated their progress at the SmartWorld workshop ... Read more
Recently accepted publications
|Title||Authors||Conference or Journal||Accepted||Presented|
|Alias Calculus, Frame Calculus and Frame Inference||Kogtenkov, Velder, Meyer||Science of Computer Programming (special issue in honor of Paul Klint)|
|Loop Invariants: Analysis, Classification, and Examples||Furia, Meyer, Velder||ACM Computing Surveys||July 24, 2013|
|To Run What No One Has Run Before: Executing an Intermediate Verification Language||Polikarpova, Furia, West||RV 2013||June 30, 2013||September 24-27, 2013|
|Certificates and Separation Logic||Nordio, Calcagno, Meyer||TGC 2013||June 10, 2013||August 30-31, 2013|
|Using Contracts to Guide the Search-Based Verification of Concurrent Programs||Poskitt, Poulding||SSBSE 2013||May 27, 2013||August 24-26, 2013|
|Applying Search in an Automatic Contract-Based Testing Tool||Kolesnichenko, Poskitt, Meyer||SSBSE 2013||May 27, 2013||August 24-26, 2013|
|Handling Parallelism in a Concurrency Model||Schill, Nanz, Meyer||MUSEPAT 2013||May 26, 2013||August 19-20, 2013|
|How to cancel a task||Kolesnichenko, Nanz, Meyer||MUSEPAT 2013||May 26, 2013||August 19-20, 2013|
|Benchmarking Usability and Performance of Multicore Languages||Nanz, West, Soares da Silveira, Meyer||ESEM 2013||May 23, 2013||October 10,11 2013|
|An Empirical Study of API Usability||Piccioni, Furia, Meyer||ESEM 2013||May 23, 2013||October 10,11 2013|
|Examining the Expert Gap in Parallel Programming||Nanz, West, Soares Da Silveira,||Euro-Par 2013||May 8, 2013||August 26-30, 2013|