News Archiv
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.“
MPI-SWS faculty member Derek Dreyer was one of two PC members (out of a total of 30 PC members) to win a Distinguished Reviewer [...]
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.
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, [...]
116117118119120 ...
236»