Composite of faces in the group
Chair of Software Engineering


The Chair of Software Engineering was devoted to the development of methods and tools for improving software quality, with the following areas of emphasis:

As part of our activities we organized events such as the annual LASER Summer School.


An archive of our past news and updates can be found here.

Latest Publications

See also our full publication list for PDFs, bibliographic data, and older articles.

Title Authors Conference or Journal Accepted
SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages Kolesnichenko, Poskitt, Nanz COMLAN August 6, 2016
SmartWalker: an Intelligent Robotic Walker Shin, Rusakov, Meyer JAISE June 8, 2016
An Interference-Free Programming Model for Network Objects Schill, Poskitt, Meyer COORDINATION 2016 Mar 30, 2016
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Corrodi, Heu├čner, Poskitt FASE 2016 Dec 18, 2015
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