News Archiv



Bild der Pressemitteilung
MPI-SWS researchers receive OOPSLA 2018 Distinguished Paper award

Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic–along with their co-authors Mitra Tabaei Befrouei and Georg Weissenbacher–have won a Distinguished Paper award at the 2018 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017) for their paper „Randomized testing of distributed systems with probabilistic guarantees.“

Bild der Pressemitteilung
Große Ehre: Professor Michael Backes ist nun ein IEEE Fellow

Das Institute of Electrical and Electronics Engineers (IEEE), ein weltweiter Berufsverband von Ingenieuren aus der Elektrotechnik und Informationstechnik, hat Professor Michael Backes, wissenschaftlicher Direktor des Saarbrücker Helmholtz-Zentrums für Informationssicherheit (CISPA), zum „IEEE Fellow“ ernannt.

Bild der Pressemitteilung
Five MPI-SWS papers at POPL 2019!

Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019: Bridging the Gap Between Programming Languages and Hardware Weak Memory Models by Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis. From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefan. Formal verification of higher-order probabilistic programs by Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, [...]

1 ...
109110111112113 ...
229