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…
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 Award at OOPSLA 2018.
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,…
