uni-potsdam.de

You are using an old browser with security vulnerabilities and can not use the features of this website.

Here you will see how you can easily upgrade your browser.

Research

Please refer to the list of our publicationsCurrently, researchers at this group are involved in the following projects:

Previous projects

  • Atomic set serializability, a data-centric correctness criterion for concurrent programs (in collaboration with IBM Research). 
  • In the Dynamics of JavaScript project we investigated how JavaScript code behaves on realistic websites, in order to better understand how to design analyses for optimization and security.
  • Valsoft/Joana, information flow control for Java based on program slicing and path conditions.