News: Best Paper Award

MPI-SWS researchers receives LICS 2024 Distinguished Paper Award

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.

Read more

MPI-SWS researchers receive 2023 EATCS Best Paper award

April 30, 2023

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.

 

Max Planck researchers publish 6 papers at POPL 2023!

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!

  • Conditional Contextual Refinement by Youngju Song,
...

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!

  • Conditional Contextual Refinement by Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer
  • Context-Bounded Verification of Context-Free Specifications by Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
  • DimSum: A Decentralized Approach to Multi-language Semantics and Verification by Michael Sammler, Simon Spies, Youngju Song, Emanuele D’Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer.  DISTINGUISHED PAPER
  • Kater: Automating Weak Memory Model Metatheory and Consistency Checking by Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
  • The Path to Durable Linearizability by Emanuele D’Osualdo, Azalea Raad, Viktor Vafeiadis
  • CoqQ: Foundational Verification of Quantum Programs by Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
Read more

MPI-SWS researcher receives LICS 2022 Distinguished Paper Award

June 28, 2022

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.

Read more

Outstanding Paper Honorable Mention at AAAI 2022

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.

Read more

MPI-SWS research on safety of European sex workers receives USENIX Security Distinguished Paper Award

August 13, 2021
Research by MPI-SWS faculty member Elissa Redmiles---along with collaborators Allison McDonald (University of Michigan), Catherine Barwulor (Clemson University), Michelle Mazurek (University of Maryland), and Florian Schaub (University of Michigan)---has received a Distinguished Paper Award at the 2021 USENIX Security Symposium. The paper investigates threats to the digital safety of European sex workers.

MPI-SWS researcher receives LICS 2021 Distinguished Paper Award

April 28, 2021

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.

 

Read more

MPI-SWS researchers receive multiple awards at ETAPS

MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators  Jonas Schiffl, Mattias Ulbrich, and Wolfgang Ahrendt) was one of only a handful of papers nominated for the EAPLS Best Paper Award: Deductive Verification of Floating-Point Java Programs in KeY. ...
MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators  Jonas Schiffl, Mattias Ulbrich, and Wolfgang Ahrendt) was one of only a handful of papers nominated for the EAPLS Best Paper Award: Deductive Verification of Floating-Point Java Programs in KeY.
Lastly, Michael Sammler and Rodolphe Lepigre received the Most Distinguished Tool Feature Award in the 2021 VerifyThis Competition, for their RefinedC entry, which was cited for supporting automated verification of C programs in Iris/Coq.
Read more

Paper by MPI-SWS researchers wins both a 2019 Usenix Security Symposium Distinguished Paper Award and the Usenix/Facebook Internet Defense Prize

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.

Read more

MPI-SWS researcher receives CSF 2019 Distinguished Paper Award

June 29, 2019

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".

MPI-SWS researchers have a distinguished paper at POPL 2019

January 20, 2019

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".

MPI-SWS researchers receive OOPSLA 2018 Distinguished Paper award

December 3, 2018

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.

MPI-SWS researchers receive QEST’18 Best Paper Award

September 26, 2018

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).

MPI-SWS researchers receive ECRTS’18 Outstanding Paper Award

July 6, 2018

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).

MPI-SWS researchers have a distinguished paper at CSF 2018

May 20, 2018

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".

MPI-SWS researcher receives RTAS’18 Outstanding Paper Award

April 21, 2018

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).

Arpan Gujarati wins Middleware 2017 Best Student Paper Award

December 13, 2017

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.

MPI-SWS researchers win OOPSLA 2017 Distinguished Paper award

October 26, 2017

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 receive best-paper awards at PLDI and ECOOP

June 23, 2017

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.

Read more

MPI-SWS researchers receive RTAS 2017 Best Paper award

April 28, 2017

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".

MPI-SWS researchers receive RTAS 2017 Outstanding Paper award

April 25, 2017

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".

Real-Time Systems group receives 3 best-paper awards in a row

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!

Best Paper Award Honorable Mention at WWW ’17

April 10, 2017

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.

MPI-SWS researchers receive RTSS 2016 best paper award

December 5, 2016

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".

MPI-SWS researchers receive 2016 ECRTS best-paper award

July 8, 2016

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.

MPI-SWS researchers receive SOUPS distinguished paper award

July 2, 2014

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 researchers receive SIES best paper award

June 1, 2013

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 researchers win ECRTS outstanding paper award

June 1, 2013

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."

Cristian Danescu-Niculescu-Mizil wins WWW best paper award

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."

Rupak Majumdar wins EAPLS and TODAES best paper awards

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".

Read more

MPI-SWS researchers win ICWSM best paper award

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."

Björn Brandenburg wins EMSOFT best paper award

November 20, 2011

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."

 

Ashutosh Gupta and Andrey Rybalchenko win ETAPS best paper award

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/.

Read more

MPI-SWS researchers receive ICWSM best paper award

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.