Research
Our research focuses on methods, techniques, notations and tools for building better software and building it better, based on several guiding ideas: components and reuse; object technology; Design by Contract; systematic approaches to concurrency, distribution and persistence; practically applicable formal methods.
Current projects
Verification and formal methods
- Eve: the Eiffel verification environment, integrating various verification tools
- AutoTest: contract-based automatic testing
- AutoFix: automatic program fixing
- AutoInfer: automatic inference of better contracts
- CITADEL: dynamic contract inference for Eiffel
- gin-pink: automatic inference of loop invariants from postconditions
- QFIS: a decidable theory of sequences and a supporting program verifier.
- MultiStar: separation logic meets Eiffel
- EiffelBase2 and model-based contracts: trusted object-oriented components
- AutoProof (formerly known as EVE Proofs): Eiffel proofs using Boogie
- Proof techniques for object-oriented software: proof transformation.
People: Carlo A. Furia, Martin Nordio, Jason (Yi) Wei, Julian Tschannen, Max (Yu) Pei, Nadia Polikarpova, Stephan van Staden
Concurrency
- CME: Concurrency Made Easy
- SCOOP: general, easy to use programming mechanism for concurrent, multi-threaded, distributed, Web service applications.
- Roboscoop: programming robotics applications in SCOOP; see our youtube video of a walking hexapod robot.
People: Sebastian Nanz, Benjamin Morandi, Scott West
Persistence
- Persistence for object-oriented applications
People: Marco Piccioni
Distributed development
- CloudStudio: distributed development in the cloud
- DOSE: Distributed and Outsourced Software Engineering
People: Martin Nordio, Christian Estler
Language transformation and object-oriented reengineering
People: Marco Trudel