MPI-SWS faculty member Andrea Lattuada, along with his collaborators, has received one of three Best Paper awards at the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2024) for his paper Anvil: Verifying Liveness of Cluster Management Controllers.
The paper "On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates", by Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala and James Worrell, was selected as one of 7 "Distinguished Papers" at LICS 2024.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance,
...The paper "On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates", by Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala and James Worrell, was selected as one of 7 "Distinguished Papers" at LICS 2024.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity.
The Best Paper Award at the 27th International Conference on Hybrid Systems: Computation and Control went to Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer for their paper "Linear Dynamical Systems with Continuous Weight Functions."
Cedric Courtaud and Björn Brandenburg have received the Best Paper award at the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2023) for their paper entitled "G(IP)2C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations".
The EATCS Best Paper Award at ETAPS 2023 (https://etaps.org/awards/best-paper/) went to Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze and Georg Zetzsche for their paper "Unboundedness problems for machines with reversal-bounded counters", published in FoSSaCS 2023. The EATCS award is given each year to the best ETAPS paper in theoretical computer science.
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) and the Max Planck Institute for Security and Privacy (MPI-SP) have authored a total of 6 papers accepted to POPL 2023. This is the sixth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Furthermore, one Max Planck paper was awarded a 2023 POPL Distinguished Paper Award. Congratulations to all our POPL authors!
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) and the Max Planck Institute for Security and Privacy (MPI-SP) have authored a total of 6 papers accepted to POPL 2023. This is the sixth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Furthermore, one Max Planck paper was awarded a 2023 POPL Distinguished Paper Award. Congratulations to all our POPL authors!
Arpan Gujarati (a former postdoctoral fellow at MPI-SWS) and Björn Brandenburg (an MPI-SWS faculty member) have received the 2022 Best Paper Award at the 43rd IEEE Real-Time Systems Symposium (RTSS) for their paper "In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again!"
MPI-SWS researchers Marco Maida, Sergey Bozhko, and Björn Brandenburg have received an Outstanding Paper Award at the 34th Euromicro Conference on Real-Time Computing Systems (ECRTS 2022) for their paper entitled Foundational Response-Time Analysis as Explainable Evidence of Timeliness. Congratulations!
MPI-SWS researcher Edon Kelmendi has received a Distinguished Paper award at the 2022 ACM/IEEE 37th Annual Symposium on Logic in Computer Science (LICS 2022) for his paper Computing the Density of the Positivity Set for Linear Recurrence Sequences.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance,
...MPI-SWS researcher Edon Kelmendi has received a Distinguished Paper award at the 2022 ACM/IEEE 37th Annual Symposium on Logic in Computer Science (LICS 2022) for his paper Computing the Density of the Positivity Set for Linear Recurrence Sequences.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity.
MPI-SWS researchers Jiarui Gan, Rupak Majumdar, Goran Radanovic, and Adish Singla have received an Outstanding Paper Award Honorable Mention at AAAI 2022, for their paper "Bayesian Persuasion in Sequential Decision-Making."
The AAAI conference is one of the leading international venues for AI research, covering all sub-areas of the field. AAAI 2022 received more than 9000 submissions, of which 1370 were accepted for publication. Of these 1370 papers, only three papers were selected for an outstanding paper award.
...MPI-SWS researchers Jiarui Gan, Rupak Majumdar, Goran Radanovic, and Adish Singla have received an Outstanding Paper Award Honorable Mention at AAAI 2022, for their paper "Bayesian Persuasion in Sequential Decision-Making."
The AAAI conference is one of the leading international venues for AI research, covering all sub-areas of the field. AAAI 2022 received more than 9000 submissions, of which 1370 were accepted for publication. Of these 1370 papers, only three papers were selected for an outstanding paper award. Of these three outstanding papers, two were authored by researchers at the Saarland Informatics Campus.
MPI-SWS researchers Sergey Bozhko, Georg von der Bruggen, and Björn Brandenburg have received the 2021 Best Paper Award at the 42nd IEEE Real-Time Systems Symposium (RTSS) for their work on "Monte Carlo Response-Time Analysis".
Joël Ouaknine, along with his co-authors James Worrell and Florian Luca, has received a Distinguished Paper award at the 2021 ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021) for his paper Universal Skolem Sets.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance,
...Joël Ouaknine, along with his co-authors James Worrell and Florian Luca, has received a Distinguished Paper award at the 2021 ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021) for his paper Universal Skolem Sets.
Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity.
MPI-SWS researchers Sergey Bozhko and Björn Brandenburg have received an Outstanding Paper Award at the 32nd Euromicro Conference on Real-Time Computing Systems (ECRTS 2020) for their paper entitled Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Congratulations!
MPI-SWS researchers Arpan Gujarati, Sergey Bozhko, and Björn Brandenburg have received a Distinguished Paper Award at the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020) for their paper entitled Real-Time Replica Consistency over Ethernet with Reliability Bounds. Congratulations!
The paper "ERIM: Secure, Efficient, In-process Isolation with Memory Protection Keys (MPK)" received a Distinguished Paper Award at the 2019 Usenix Security Symposium. It was selected as one of 6 distinguished papers out of 113 papers that appeared in the conference proceedings.
The work was also selected as the recipient of the Usenix Internet Defense Prize, along with a USD 100k gift from Facebook to support further development of the technology.
...The paper "ERIM: Secure, Efficient, In-process Isolation with Memory Protection Keys (MPK)" received a Distinguished Paper Award at the 2019 Usenix Security Symposium. It was selected as one of 6 distinguished papers out of 113 papers that appeared in the conference proceedings.
The work was also selected as the recipient of the Usenix Internet Defense Prize, along with a USD 100k gift from Facebook to support further development of the technology.
The paper was authored by MPI-SWS doctoral students Anjo Vahldiek-Oberwagner, Eslam Elnikety, and Michael Sammler, along with MPI-SWS intern Nuno Duarte and MPI-SWS faculty members Deepak Garg and Peter Druschel.
Read more about ERIM here.
MPI-SWS faculty member Deepak Garg, along with his external collaborators Carmine Abate, Roberto Blanco, Catalin Hritcu, Marco Patrignani and Jérémy Thibault, has been awarded a Distinguished Paper Award at the 2019 IEEE Computer Security Foundations Symposium (CSF 2019). Their paper is titled "Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation".
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".
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 are given to about 10% of papers at OOPSLA.
Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018) for their paper entitled “Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach” (with Sadegh Soudjani from Newcastle University).
Felipe Cerqueira and Björn Brandenburg have received an Outstanding Paper Award at the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) for their paper entitled “On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks” (with Geoffrey Nelissen of CISTER Research Centre, ISEP, Polytechnic Institute of Porto).
A paper by Vineet Rajani and Deepak Garg has been honored as a distinguished paper at the upcoming 31st IEEE Symposium on Computer Security Foundations (CSF 2018). The paper is titled "Types for Information Flow Control: Labeling Granularity and Semantic Models".
Björn Brandenburg has won an Outstanding Paper award at the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018) for his paper entitled “Scalable Memory Reclamation for Multi-Core, Real-Time Systems” (with Yuxin Ren, Guyue Liu, and Gabriel Parmer of George Washington University, Washington, DC, USA).
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 Kathryn McKinley. This paper is the result of the work Arpan did during his internship at Microsoft Research.
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.
MPI-SWS researchers made a very strong showing at PLDI and ECOOP in Barcelona this year. They received two Best Paper Awards, one from PLDI and one from ECOOP, for the following two papers:
PLDI 2017: Repairing Sequential Consistency in C/C++11, by Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, and Derek Dreyer.
ECOOP 2017: Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris,
...MPI-SWS researchers made a very strong showing at PLDI and ECOOP in Barcelona this year. They received two Best Paper Awards, one from PLDI and one from ECOOP, for the following two papers:
PLDI 2017: Repairing Sequential Consistency in C/C++11, by Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, and Derek Dreyer.
ECOOP 2017: Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris, by Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis.
In addition, another PLDI best paper award went to the paper "Bringing the Web Up to Speed with WebAssembly", which was presented by Andreas Rossberg, former member of the Foundations of Programming group, who is now a senior engineer at Google. WebAssembly is the result of an unprecedented collaboration between engineers at Google, Microsoft, Mozilla, and Apple to develop a new portable low-level byte code language to replace JavaScript as a target language for web development.
Pratyush Patel, Manohar Vanga, and Björn Brandenburg have won the Best Paper award at the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017) for their paper entitled "TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference".
Mitra Nasri and Björn Brandenburg have won an Outstanding Paper award at the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017) for their paper entitled "Offline Equivalence: A Non-Preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems".
The MPI-SWS Real-Time Systems group, led by Björn Brandenburg, has won the best paper award at ECRTS’16, the best paper award at RTSS’16, and the best paper award at RTAS’17. These are the three main conferences in real-time systems. This is the first time a group has won best paper awards in all three consecutive top real-time systems conferences. Congratulations to Björn and the postdocs and students in the real-time systems group!
The MPI-SWS paper "Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate" has received a Best Paper Award Honorable Mention at WWW 2017.
The 26th International World Wide Web Conference (WWW) took place in Perth (Australia) in April 2017.
Björn Brandenburg and Mahircan Gül have won the best paper award at the 37th IEEE Real-Time Systems Symposium (RTSS 2016) for their paper entitled "Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations".
Mitra Nasri has received the best paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled "On the Problem of Finding Optimal Harmonic Periods” (with Morteza Mohaqeqi, Yang Xu, Anton Cervin, and Karl-Erik Arzén).
Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best paper award at ECRTS 2016, for their paper "Prosa: A Case for Readable Mechanized Schedulability Analysis." Read more about Prosa.
Krishna Gummadi, Mainack Mondal and Bimal Viswanath, along with Yabing Liu and MPI-SWS alumni Alan Mislove, have received a distinguished paper award at SOUPS 2014, for their paper "Understanding and Specifying Social Access Control Lists."
MPI-SWS faculty member Björn Brandenburg and PhD student Alexander Wieder have won the 2013 SIES (IEEE Symposium on Industrial Embedded Systems) Best Paper Award for their paper "Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks".
MPI-SWS faculty member Björn Brandenburg and PhD students Arpan Gujarati and Felipe Cerqueira have won a 2013 ECRTS Outstanding Paper Award for their paper "Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities."
MPI-SWS faculty member Cristian Danescu-Niculescu-Mizil, along with his co-authors, has won the 2013 WWW Best Paper Award for his paper "No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities."
MPI-SWS faculty Rupak Majumdar, along with his coauthors, has received two best paper awards: the EAPLS 2012 best paper award and the 2012 ACM TODAES best paper award.
Rupak Majumdar and Zhenyue Long, along with Georgei Calin and Roland Meyer at TuKL, have received the ETAPS 2012 best paper award for their paper "Language-Theoretic Abstraction Refinement".
Rupak Majumdar has also received (along with Jason Cong,
...MPI-SWS faculty Rupak Majumdar, along with his coauthors, has received two best paper awards: the EAPLS 2012 best paper award and the 2012 ACM TODAES best paper award.
Rupak Majumdar and Zhenyue Long, along with Georgei Calin and Roland Meyer at TuKL, have received the ETAPS 2012 best paper award for their paper "Language-Theoretic Abstraction Refinement".
Rupak Majumdar has also received (along with Jason Cong, Bin Liu, and Zhiru Zhang) the 2012 ACM TODAES Best Paper Award for his 2010 TODAES article "Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis".
Krishna Gummadi and Farshad Kooti, along with Winter Mason and previous MPI-SWS postdoctoral fellow Meeyoung Cha, have received a best paper award at ICWSM 2012, for their paper "The Emergence of Conventions in Online Social Networks."
MPI-SWS faculty member Björn Brandenburg, along with James H. Anderson (UNC), has received the ACM SIGBED EMSOFT 2011 best paper award for his paper "Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks."
MPI-SWS PhD student Ashutosh Gupta and and faculty Andrey Rybalchenko, along with Rupak Majumdar (UCLA), have received the EAPLS best paper award for their TACAS'09 paper "From Tests to Proofs."
The EAPLS award goes to the best contribution in the area of programming languages among CC, ESOP, and TACAS—three member conferences of ETAPS, the European Joint Conferences on Theory and Practice of Software.
The award-winning paper describes the design and implementation of an automatic invariant generator that can be used in the verification of imperative programs.
...MPI-SWS PhD student Ashutosh Gupta and and faculty Andrey Rybalchenko, along with Rupak Majumdar (UCLA), have received the EAPLS best paper award for their TACAS'09 paper "From Tests to Proofs."
The EAPLS award goes to the best contribution in the area of programming languages among CC, ESOP, and TACAS—three member conferences of ETAPS, the European Joint Conferences on Theory and Practice of Software.
The award-winning paper describes the design and implementation of an automatic invariant generator that can be used in the verification of imperative programs. The authors' new approach makes constraint solving—and hence invariant generation—more scalable by adding information obtained from static abstract interpretation as well as dynamic execution of the program.
ETAPS, established in 1998, is a confederation of five annual conferences, accompanied by satellite workshops and other events. It is a primary forum for academic and industrial researchers working on topics relating to Software Science. Previous EAPLS best paper award winners are listed at http://www.eapls.org/pages/topic_05_awards/.
Congratulations to Meeyoung Cha, Juan Antonio Navarro Perez, and Hamed Haddadi. Their paper "Flash Floods and Ripples: The Spread of Media Content through the Blogosphere" was selected as the ICWSM'09 best paper using the Spinn3r dataset. The winning paper was selected out of all papers in the main conference and the data challenge workshop that used the 2009 Spinn3r blog dataset.