Three papers from MPI-SWS have been accepted to the 2018 Web Conference: Human Perceptions of Fairness in Algorithmic Decision Making: A Case Study of Criminal Risk Prediction On the Causal Effect of Badges Fake News Detection in Social Networks via Crowd Signals
Bug bounty programs are a popular way to find security flaws in deployed systems. We are the first to use a bounty program to find flaws in anonymization schemes, namely the anonymization scheme we designed called Diffix. We take an empirical approach to anonymization rather than the more common formal…
Outstanding undergraduate and Masters students are invited to learn about world-class research in security and privacy, social systems, distributed systems, machine learning, programming languages, and verification. Leading researchers will engage with attendees in their areas of expertise: the curriculum will include lectures, projects, and interaction with faculty from participating institutions.…
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…
Two MPI-SWS faculty members have received 3-year research grants from DFG, the German Research Organization. Eva Darulova has received a single-PI DFG grant entitled "Automated Rigorous Verification and Synthesis of Approximations." Björn Brandenburg has received a DFG grant entitled "RT-Proofs: Formal proofs for real-time systems." This award is for a collaborative…
