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.
Come join us!As part of our “Concurrency Made Easy” ERC Advanced Investigator Grant project (2012-2017), we are offering PhD positions at the Chair of Software Engineering of ETH Zurich. We are actively looking for candidates who will help us change the world of software development. See the position descriptions here.
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|
|SPOC-supported Introduction to Programming||Piccioni, Estler, Meyer||ITiCSE 2014||Mar 03, 2014|
|Teaching a Core CS Concept through Robotics||Magnenat, Shin, Riedo, Siegwart, Ben-Ari||ITiCSE 2014||Mar 03, 2014|
|Automated Fixing of Programs with Contracts||Pei, Furia, Nordio, Wei, Meyer, Zeller||IEEE TSE||Mar 03, 2014|
|Flexible Invariants Through Semantic Collaboration||Polikarpova, Tschannen, Furia, Meyer||FM 2014||Feb 01, 2014|
|Contracts in Practice||Estler, Furia, Nordio, Piccioni, Meyer||FM 2014||Feb 01, 2014|
|An Experiment on Teaching Coordination in a Globally Distributed Software Engineering Class||Nordio, Estler, Meyer, Aguirre, Di Nitto, Prikladnicki, Savidis||CSEE&T 2014||Jan 27, 2014|
|Automatic Program Repair by Fixing Contracts||Pei Furia, Nordio, Meyer||17th International Conference on Fundamental Approaches to Software Engineering (FASE)||Dec 20, 2013|
|AutoProof Meets Some Verification Challenges||Tschannen, Furia, Nordio||International Journal on Software Tools for Technology Transfer||Dec 17, 2013|
|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|