|
Open Positions
We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.
Student Projects Available
Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects.
Our Mailing List
If you are interested in our activities, you can subscribe to the PMInterest mailing list.
Workshop on Software Correctness and Reliability
All information on the workshop 2014 can be found here.
The slides and videos of 2013 are available on the workshop website
See the research page for an overview of the Universe type system and the tools page for information about the tools we provide.
We integrated the Universe type system into the Scala compiler using type annotations and the compiler plug-in infrastructure.
The thesis report describes all the details of the implementation, the users guide gives the high-level guide for users, and the developers guide contains information for people interested in reusing the plug-in.
We provide the complete implementation (.tar.gz), including pre-compiled Java byte code and the Scala source code for the plug-in under the GPL2.
The plug-in can also be downloaded in these separate JAR file
Version 1.0.0, February 2008:
Master project of Manfred Stock: The current release does not yet support the full Scala language and does not correctly check all UTS rules. Still, it is a very usable first implementation.
Past Students:
For a complete list of past student projects on the Universe type system see the main page.
Manfred Stock Implementing a Universe Type System for Scala
Daniel Schregenberger Universe Type System for Scala
These tools are provided as-is without any support or warranty. Also see the GNU General Public License, version 2.
Werner M. Dietl
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information