In 2018, MPI-SWS researchers authored a total of five POPL papers: Parametricity versus the Universal Type. Dominique Devriese, Marco Patrignani, Frank Piessens.Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Kostis Sagonas, Viktor Vafeiadis.Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger.Why…
Machine learning algorithms are increasingly being used to automate decision making in several domains such as hiring, lending and crime-risk prediction. These algorithms have shown significant promise in leveraging large or “big†training datasets to achieve high prediction accuracy, sometimes surpassing even human accuracy. Unfortunately, some recent investigations have shown…
Das Helmholtz-Institut für Pharmazeutische Forschung Saarland (HIPS) und die Universität des Saarlandes richten eine gemeinsame Stiftungsprofessur für Wirkstoff-Bioinformatik ein. Möglich gemacht wurde die neue Professur durch eine Initiative der gemeinnützigen Klaus Faber Stiftung. Mit insgesamt 1,6 Millionen Euro unterstützt die in Saarbrücken ansässige Klaus Faber Stiftung damit ein Forschungsfeld, das…
Bei der Analyse des menschlichen Genoms blieben Forscher bisher eine Antwort schuldig: Sie konnten nicht sagen, wie sich die beiden von Mutter und Vater vererbten Varianten eines Gens unterscheiden. Dabei erhöht diese Information die Wahrscheinlichkeit, bestimmte Krankheiten erfolgreich zu behandeln. Die so genannte dritte Generation von Sequenzierungstechnologien macht dies nun…
Philipp Slusallek, Professor für Computergrafik an der Universität des Saarlandes, ist als ordentliches Mitglied in die Deutsche Akademie der Technikwissenschaften (acatech) gewählt worden. In der Akademie wird er Vertreter aus Politik und Wirtschaft über zukünftige Fragen der Computergrafik und der Künstlichen Intelligenz beraten. Die Akademie nimmt Forscher aufgrund ihrer herausragenden…
