MPI-SWS Director Paul Francis and his group have launched the Open GDA Score Project at www.gda-score.org. This is an open project to develop a set of tools and databases to generate anonymity scores for any data anonymization technique. The GDA Score, which stands for General Data Anonymity Score, is the first data…
The article "Enhancing Human Learning via spaced repetition optimization", coauthored by MPI-SWS and MPI-IS researchers, has been published in the Proceedings of the National Academy of Sciences (PNAS), a highly prestigious journal. The (open-access) article can be found here: https://www.pnas.org/doi/10.1073/pnas.1815156116.
Vineet Rajani and Deepak Garg, along with their co-authors Marco Vassena, Alejandro Russo and Deian Stefan, have won a Distinguished Paper Award at the 2019 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019) for their paper titled "From fine- to coarse-grained dynamic information flow control and back".
The TOROS project, supported by an ERC Starting Grant, has officially started. The project targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner. Specifically, the TOROS project aims to design a new theory-oriented RTOS that by…
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." Distinguished Paper awards…
