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…
MPI-SWS PhD student Arpan Gujarati has won the Middleware 2017 Best Student Paper award for his paper "Swayam: Distributed Autoscaling to Meet SLAs of Machine Learning Inference Services with Resource Efficiency.” The paper was co-authored with MPI-SWS faculty member Björn Brandenburg, as well as with Sameh Elnikety, Yuxiong He, and…
The paper "Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation " by MPI-SWS researchers, in collaboration with researchers at KAIST and MPI-IS, has been accepted to WSDM 2018, one of the flagship conferences in data mining. WSDM will take place in Los Angeles (CA,…
David Swasey, Deepak Garg, and Derek Dreyer have won a Distinguished Paper award at the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017) for their paper "Robust and Compositional Verification of Object Capability Patterns." Distinguished Paper awards are given to about 10% of papers at OOPSLA.
