The Chair of Software Engineering is devoted to the development of methods and tools for improving software quality. Our areas of emphasis are:
- Software verification (both proofs and tests)
- Distributed and collaborative development
- Empirical software engineering
- Online learning technologies (MOOCs)
- Language design and evolution (with particular focus on Eiffel)
As part of our activities we organize events such as the annual Laser Summer School.
November 1, 2015
Chris Poskitt is participating in the Dagstuhl Seminar on Verification of Evolving Graph Structures.
July 17, 2015
Our paper SmartWalker: Towards an Intelligent Robotic Walker for the Elderly won the Best Paper Award at the 11th International Conference on Intelligent Environments (IE'15).
February 16, 2015 The second edition of our edX MOOC is starting soon!
December 18, 2014 Julian Tschannen, Yu Pei, and Christian Estler successfully defended their PhD theses. Congratulations!
December 5, 2014 The website for the LASER Summer School 2015 is now online. The topic for the 12th edition of this summer school is Concurrency: the next frontiers.
September 24, 2014 The paper A Comparative Study of Programming Languages in Rosetta Code by Sebastian Nanz and Carlo A. Furia is discussed on Slashdot and elsewhere.
August 21, 2014 Our paper Awareness and Merge Conflicts in Distributed Software Development won the Best Paper Award at the 9th International Conference on Global Software Engineering (ICGSE'14).
August 5, 2014
Prof. Bertrand Meyer has been awarded an honorary doctorate by the University of York, UK, in recognition of his contributions to software engineering.
July 14, 2014
Recently accepted publications
|Title||Authors||Conference or Journal||Accepted|
|Contract-Based General-Purpose GPU Programming||Kolesnichenko, Poskitt, Nanz, Meyer||GPCE 2015||July 27, 2015|
|Concurrency Patterns for Easier Robotic Coordination||Rusakov, Shin, Meyer||IROS 2015||Jun 29, 2015|
|Efficient and Reasonable Object-Oriented Concurrency||West, Nanz, Meyer||ESEC/FSE 2015||May 27, 2015|
|The AutoProof Verifier: Usability by Non-Experts and on Standard Code||Furia, Poskitt, Tschannen||F-IDE 2015||May 12, 2015|
|Automatic Speed Control for SmartWalker||Shin, Steinmann, Meyer||PETRA 2015||Apr 27, 2015|
|Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking||Galeotti, Furia, May, Fraser, Zeller||IEEE TSE||April 26, 2015|
|A Fully Verified Container Library||Polikarpova, Tschannen, Furia||FM 2015||Mar 23, 2015|
|SmartWalker: Towards an Intelligent Robotic Walker for the Elderly||Shin, Itten, Rusakov, Meyer||IE 2015||Mar 16, 2015|
|Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model||Heußner, Poskitt, Corrodi, Morandi||GaM at ETAPS 2015||Feb 13, 2015|
|Stochastic Contracts for Runtime Checking of Component-based Real-time Systems||Nandi, Monot, Oriol||CBSE 2015||Feb 9, 2015|
|Automated Program Repair in an Integrated Development Environment||Pei, Furia, Nordio, Meyer||ICSE 2015||Jan 21, 2015|