News: Awards and Prizes

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

Azalea Raad selected to attend Heidelberg Laureate Forum

April 16, 2019

MPI-SWS postdoctoral fellow Azalea Raad has been selected to attend the 7th annual Heidelberg Laureate Forum in September 2019. An international committee of experts selected Azalea for one of only 200 spots reserved for young researchers from around the world.

The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. The speakers for the 2019 Forum, for example, include 17 different Turing Award winners,

MPI-SWS postdoctoral fellow Azalea Raad has been selected to attend the 7th annual Heidelberg Laureate Forum in September 2019. An international committee of experts selected Azalea for one of only 200 spots reserved for young researchers from around the world.

The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. The speakers for the 2019 Forum, for example, include 17 different Turing Award winners, as well as numerous winners of the Fields Medal, the Abel Prize, and the ACM Prize in Computing.

Read more

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.

Derek Dreyer receive OOPSLA 2018 Distinguished Reviewer Award

December 3, 2018

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.

Jonathan Mace receives Dennis M. Ritchie Dissertation Honorable Mention

October 23, 2018

MPI-SWS faculty member Jonathan Mace has received an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.

Launched in 2013, the Dennis M. Ritchie Doctoral Dissertation Award was created by the Association for Computing Machinery's Special Interest Group on Operating Systems (ACM SIGOPS) to recognize research in software systems and to encourage the creativity that Dennis Ritchie embodied. Only one winner is chosen annually, and this year, Jonathan Mace's dissertation received an Honorable Mention for the award.

MPI-SWS faculty member Jonathan Mace has received an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.

Launched in 2013, the Dennis M. Ritchie Doctoral Dissertation Award was created by the Association for Computing Machinery's Special Interest Group on Operating Systems (ACM SIGOPS) to recognize research in software systems and to encourage the creativity that Dennis Ritchie embodied. Only one winner is chosen annually, and this year, Jonathan Mace's dissertation received an Honorable Mention for the award.

"Many tools for monitoring and enforcing distributed systems," Jonathan explains, "capture information about end-to-end executions by propagating in-band contexts." In his thesis---A Universal Architecture for Cross-Cutting Tools in Distributed Systems---he characterizes a broad class of such cross-cutting tools and extends these ideas to new applications in resource management and dynamic monitoring. Finally, he identifies underlying commonalities in this class of tools, and proposes an abstraction layering that simplifies their development, deployment, and reuse.

Read more

Aastha Mehta invited to attend Rising Stars Workshop

September 26, 2018

MPI-SWS Ph.D. student Aastha Mehta has been selected to attend the Rising Stars Workshop to be held at MIT from October 28-30, 2018. She is one of 76 participants, and one of only three invited from a European university. Rising Stars is a prestigious workshop that provides mentoring to women graduate students and postdocs interested in pursuing an academic career.

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

Best Presentation Award @ ECRTS’18

MPI-SWS graduate student Arpan Gujarati has won the Best Presentation Award at the 30th Euromicro Conference on Real-Time Systems (ECRTS18) for a talk on his paper entitled "Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems" (with Mitra Nasri and Björn Brandenburg). Congratulations, Arpan!

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

Björn Brandenburg receives SIGBED Early Career Award

February 13, 2018

MPI-SWS faculty member Björn Brandenburg has received the first ever SIGBED Early Career Researcher Award. The award is given by ACM SIGBED to recognize outstanding contributions by young investigators in the area of embedded, real-time, and cyber-physical systems.

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.

Derek Dreyer receives Robin Milner Young Researcher Award

MPI-SWS faculty member Derek Dreyer has received the 2017 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages.  The award citation reads as follows:

"Derek Dreyer has made deep, creative research contributions of great breadth. His areas of impact are as diverse as module systems, data abstraction in higher-order languages, mechanized proof systems and techniques, and concurrency models and semantics.

MPI-SWS faculty member Derek Dreyer has received the 2017 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages.  The award citation reads as follows:

"Derek Dreyer has made deep, creative research contributions of great breadth. His areas of impact are as diverse as module systems, data abstraction in higher-order languages, mechanized proof systems and techniques, and concurrency models and semantics. He has refactored and generalized the complex module systems of SML and OCaml; devised logical relations and techniques that enabled advances in reasoning about higher-order imperative programs; and developed novel separation logics for modular verification of low-level concurrent programs. His research papers are a model of clarity and depth, and he has worked actively to translate his foundational ideas into practice – most recently with the RustBelt project to provide formal foundations for the Rust language. Additionally, Dreyer has contributed leadership, support, and mentorship in activities such as the PLMW series of workshops, which are instrumental in growing the next generation of PL researchers."

Previous recipients of the award have included Stephanie Weirich, David Walker, Sumit Gulwani, Lars Birkedal, and Shriram Krishnamurthi.

Read more

Krishna Gummadi and Peter Druschel win ACM SIGCOMM test-of-time award

July 19, 2017

MPI-SWS researchers—faculty members Krishna Gummadi and Peter Druschel and former SWS doctoral students Alan Mislove and Massimiliano Marcon—have received the ACM SIGCOMM Test of Time Award for their IMC 2007 paper on "Measurement and Analysis of Online Social Networks." The work was done in collaboration with Bobby Bhattacharjee of the University of Maryland.

The award citation reads as follows: "This is one of the first papers that examine multiple online social networks at scale.

MPI-SWS researchers—faculty members Krishna Gummadi and Peter Druschel and former SWS doctoral students Alan Mislove and Massimiliano Marcon—have received the ACM SIGCOMM Test of Time Award for their IMC 2007 paper on "Measurement and Analysis of Online Social Networks." The work was done in collaboration with Bobby Bhattacharjee of the University of Maryland.

The award citation reads as follows: "This is one of the first papers that examine multiple online social networks at scale. By introducing novel measurement techniques, the paper has had an enduring influence on the analysis, modeling and design of modern social media and social networking services."

The ACM SIGCOMM Test of Time Award is a retrospective award. It recognizes papers published 10 to 12 years in the past in Computer Communication Review or any SIGCOMM sponsored or co-sponsored conference that is deemed to be an outstanding paper whose contents are still a vibrant and useful contribution today.
Read more

Amaury Pouly receives Ackermann Award

Amaury Pouly, a postdoc in Joël Oukanine's Foundations of Automatic Verification Group, has received the 2017 Ackermann Award for his PhD thesis, “Continuous-time computation models: From computability to computational complexity.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic.

Amaury Pouly's thesis shows that problems which can be solved with a computer in a reasonable amount of time (more specifically problems which belong to the class P of the famous open problem “P = NP?”) can be characterized as polynomial length solutions of polynomial differential equations.

Amaury Pouly, a postdoc in Joël Oukanine's Foundations of Automatic Verification Group, has received the 2017 Ackermann Award for his PhD thesis, “Continuous-time computation models: From computability to computational complexity.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic.

Amaury Pouly's thesis shows that problems which can be solved with a computer in a reasonable amount of time (more specifically problems which belong to the class P of the famous open problem “P = NP?”) can be characterized as polynomial length solutions of polynomial differential equations. This result paves the way for reformulating certain questions and concepts of theoretical computer science in terms of ordinary polynomial differential equations. It also revisits analog computational models and demonstrates that analog and digital computers actually have the same computing power, both in terms of what they can calculate (computability) and what they can solve in reasonable (polynomial) time.

Read more

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

Peter Druschel receives EuroSys Lifetime Achievement Award

April 26, 2017

Peter Druschel has received the 2017 EuroSys Lifetime Achievement Award for his numerous and valuable contributions to research in computer systems. It is the highest honor accorded by EuroSys to systems researchers.

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

Aastha Mehta selected to attend Heidelberg Laureate Forum

August 30, 2016

MPI-SWS Ph.D. student Aastha Mehta was selected to attend the 4th annual Heidelberg Laureate Forum in September 2016. An international committee of experts selected Aastha for one of only 200 spots reserved for young computer scientists and mathematicians from around the world. In addition to participating in the forum, she was one of 6 researchers invited for a blog interview. Aastha was provided funding to attend the forum through a Romberg Grant.

MPI-SWS Ph.D. student Aastha Mehta was selected to attend the 4th annual Heidelberg Laureate Forum in September 2016. An international committee of experts selected Aastha for one of only 200 spots reserved for young computer scientists and mathematicians from around the world. In addition to participating in the forum, she was one of 6 researchers invited for a blog interview. Aastha was provided funding to attend the forum through a Romberg Grant.

The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. The twenty speakers for the 2016 Forum, for example, include 12 different Turing Award winners, as well as numerous winners of the Fields Medal and the Abel Prize.

Read more

Peter Druschel recognized as a Microsoft Outstanding Collaborator

MPI-SWS Director Peter Druschel was honored with a Microsoft Outstanding Collaborator Award. The award was given for his numerous contributions to Microsoft Research over the years. Druschel's collaborative work with Microsoft Research has generated a long stream of seminal papers. One of the most noteworthy is his paper on the distributed hash table Pastry --- a paper that is one of the most highly cited papers ever written by MSR researchers.

MPI-SWS researchers receive 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.

Sadegh Soudjani receives DIC Best PhD-Thesis Award

MPI-SWS postdoctoral fellow Sadegh Soudjani has been awarded the DISC Best PhD-Thesis Award for the best PhD thesis defended in 2014 in the Netherlands in the area of systems and control. Dr. Soudjani received the award for the excellent quality of his PhD Thesis "Formal Abstraction for Automated Verification and Synthesis of Stochastic Systems" for which he obtained the doctoral degree at Delft University of Technology in November.

Rijurekha Sen receives ACM-India Doctoral Dissertation Award

February 1, 2015

MPI-SWS postdoctoral fellow Rijurekha won the 2014 Best Doctoral Dissertation Award by ACM-India for her thesis titled "Different Sensing Modalities for Traffic Monitoring in Developing Regions" Dr. Sen recently joined the MPI-SWS Distributed Systems and Social Computing research groups.

MPI-SWS spinoff Aircloak wins Cisco IoT Security Grand Challenge

MPI-SWS spinoff Aircloak has won the 2014 Cisco Internet of Things (IoT) Security Grand Challenge. Aircloak was selected for its innovative approach to privacy protection—it is building the world's first anonymized analytics system. As a grand challenge award winner, Aircloak was awarded a $75,000 cash prize and was showcased at the IoT World Forum. In addition, the award also provides the Aircloak team with mentoring, training and access to business expertise from Cisco and other supporting organizations,

MPI-SWS spinoff Aircloak has won the 2014 Cisco Internet of Things (IoT) Security Grand Challenge. Aircloak was selected for its innovative approach to privacy protection—it is building the world's first anonymized analytics system. As a grand challenge award winner, Aircloak was awarded a $75,000 cash prize and was showcased at the IoT World Forum. In addition, the award also provides the Aircloak team with mentoring, training and access to business expertise from Cisco and other supporting organizations, as well as potential investment and partnering opportunities in the future. For more info see the Cisco award announcement (in English or in German), and the Cisco blog.

Read more

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

Aaron Turon receives SIGPLAN Dissertation Award

Aaron Turon, a postdoc in Derek Dreyer's Foundations of Programming Group, has received the 2014 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for his PhD thesis, "Understanding and Expressing Scalable Concurrency", which he completed at Northeastern University in 2013 under the supervision of Mitch Wand. This international award is presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages. Aaron has recently joined Mozilla Research in San Francisco,

Aaron Turon, a postdoc in Derek Dreyer's Foundations of Programming Group, has received the 2014 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for his PhD thesis, "Understanding and Expressing Scalable Concurrency", which he completed at Northeastern University in 2013 under the supervision of Mitch Wand. This international award is presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages. Aaron has recently joined Mozilla Research in San Francisco, where he is a member of the development team for the Rust programming language.

Read more

Arpan Gujarati selected to attend Heidelberg Laureate Forum

MPI-SWS Ph.D. student Arpan Gujarati has been selected to attend the 2nd annual Heidelberg Laureate Forum in September 2014. An international committee of experts seletecd Arpan for one of only 100 spots reserved for young computer scientists from around the world. In addition to participating in the forum, he will be one of 40 students given the opportunity to present his research in a poster session. The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists.

MPI-SWS Ph.D. student Arpan Gujarati has been selected to attend the 2nd annual Heidelberg Laureate Forum in September 2014. An international committee of experts seletecd Arpan for one of only 100 spots reserved for young computer scientists from around the world. In addition to participating in the forum, he will be one of 40 students given the opportunity to present his research in a poster session. The Heidelberg Laureate Forum gives young computer science and math researchers the opportunity to interact with some of the world's top scientists. The speakers for the 2014 Forum, for example, include 14 different Turing Award winners, as well as numerous winners of the Fields Medal and the Abel Prize.

Read more

Rupak Majumdar receives Most Influential Paper Award

MPI-SWS faculty member Rupak Majumdar has been selected as the winner of this year's POPL (Principles of Programming Languages) Most Influential Paper Award. The ACM SIGPLAN Most Influential POPL Paper Award is a retrospective award—it is given each year to the paper deemed most influential from the POPL conference 10 years earlier.

Majumdar won the award for his 2004 paper, Abstractions From Proofs, which was coauthored with Thomas Henzinger, Ranjit Jhala, and Kenneth McMillan.

MPI-SWS faculty member Rupak Majumdar has been selected as the winner of this year's POPL (Principles of Programming Languages) Most Influential Paper Award. The ACM SIGPLAN Most Influential POPL Paper Award is a retrospective award—it is given each year to the paper deemed most influential from the POPL conference 10 years earlier.

Majumdar won the award for his 2004 paper, Abstractions From Proofs, which was coauthored with Thomas Henzinger, Ranjit Jhala, and Kenneth McMillan. The paper introduced a technique to automatically find program abstractions using logical interpolation and showed the effectiveness of the technique in software verification.

Read more

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

Björn Brandenburg receives EDAA dissertation award

February 1, 2013

MPI-SWS faculty member Björn Brandenburg has won the 2012 EDAA Outstanding Dissertations Award in the category "New directions in embedded system design and embedded software", to be presented at the DATE 2013 conference in March. This marks the third award Brandenburg has received for his dissertation.

Björn Brandenburg receives North American dissertation award

December 1, 2012

Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award,

Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award, which recognizes the best dissertation among all graduates in the fields of mathematics, physical sciences, and engineering at the University of North Carolina at Chapel Hill.

Read more

Visiting Professor Lorenzo Alvisi receives Humboldt Award

Lorenzo Alvisi, a professor at the University of Texas at Austin, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Peter Druschel and other MPI-SWS researchers on fault-tolerant computing for multi-core servers.

This is the second year that an MPI-SWS visiting professor has received a Humboldt Award.

Lorenzo Alvisi, a professor at the University of Texas at Austin, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Peter Druschel and other MPI-SWS researchers on fault-tolerant computing for multi-core servers.

This is the second year that an MPI-SWS visiting professor has received a Humboldt Award. Johannes Gehrke was a 2010 Humboldt Research Award recipient.

The Humboldt Research Award is granted "in recognition of a researcher's entire achievements to date to academics whose fundamental discoveries, new theories, or insights have had a significant impact on their own discipline and who are expected to continue producing cutting-edge achievements in the future."

Read more

Ruzica Piskac wins Patrick Denantes Prize

September 1, 2012

Ruzica Piskac, an MPI-SWS faculty member, has been awarded the 2012 Patrick Denantes Prize for her dissertation titled "Decision Procedures for Program Synthesis and Verification." The prize is awarded annually to the most outstanding master's, doctoral or post-doctoral research project within the school of computer and communication sciences at EPFL.

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

 

Rupak Majumdar wins PLDI most influential paper award

MPI-SWS faculty Rupak Majumdar has received the ACM SIGPLAN Most Influential PLDI (Programming Language Design and Implementation) Paper Award for 2011.

The ACM SIGPLAN Most Influential PLDI Paper Award is given each year for a paper that is ten years old and has been highly influential in the area of programming languages.

Rupak's 2001 paper, "Automatic Predicate Abstraction of C Programs," was coauthored with Thomas Ball, Todd Millstein, and Sriram Rajamani.

MPI-SWS faculty Rupak Majumdar has received the ACM SIGPLAN Most Influential PLDI (Programming Language Design and Implementation) Paper Award for 2011.

The ACM SIGPLAN Most Influential PLDI Paper Award is given each year for a paper that is ten years old and has been highly influential in the area of programming languages.

Rupak's 2001 paper, "Automatic Predicate Abstraction of C Programs," was coauthored with Thomas Ball, Todd Millstein, and Sriram Rajamani. The paper presented the predicate abstraction technology underlying the SLAM project. The technology is now part of Microsoft's Static Driver Verifier in the Windows Driver Development Kit. This is one of the earliest examples of automation of software verification on a large scale and the basis for numerous efforts to expand the domains that can be verified.

Read more

Paul Francis wins SIGCOMM test-of-time award

MPI-SWS faculty Paul Francis has received the ACM SIGCOMM Test of Time Award for 2011.

The ACM SIGCOMM Test of Time Award recognizes papers published 10 to 12 years in the past in Computer Communication Review or any SIGCOMM sponsored or co-sponsored conference that is deemed to be an outstanding paper whose contents are still a vibrant and useful contribution today.

Paul's 2001 paper, "A Scalable Content-Addressable Network," was coauthored with Mark Handley,

MPI-SWS faculty Paul Francis has received the ACM SIGCOMM Test of Time Award for 2011.

The ACM SIGCOMM Test of Time Award recognizes papers published 10 to 12 years in the past in Computer Communication Review or any SIGCOMM sponsored or co-sponsored conference that is deemed to be an outstanding paper whose contents are still a vibrant and useful contribution today.

Paul's 2001 paper, "A Scalable Content-Addressable Network," was coauthored with Mark Handley, Richard Karp, Sylvia Ratnasamy, and Scott Shenker. This paper is one of four highly influential papers that laid the foundation for P2P systems based on distributed hash tables (DHTs).

Read more

Visiting Professor Johannes Gehrke receives Humboldt Award

Johannes Gehrke, a professor at Cornell University, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award will provide support for him to spend eight months in Germany, working with Peter Druschel and other MPI-SWS researchers on data-intensive distributed systems that make up the software infrastructure inside such large Web companies as Amazon, Yahoo! and Google.

The Humboldt Research Award is granted "in recognition of a researcher's entire achievements to date to academics whose fundamental discoveries,

Johannes Gehrke, a professor at Cornell University, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award will provide support for him to spend eight months in Germany, working with Peter Druschel and other MPI-SWS researchers on data-intensive distributed systems that make up the software infrastructure inside such large Web companies as Amazon, Yahoo! and Google.

The Humboldt Research Award is granted "in recognition of a researcher's entire achievements to date to academics whose fundamental discoveries, new theories, or insights have had a significant impact on their own discipline and who are expected to continue producing cutting-edge achievements in the future."

Read more

Andreas Haeberlen receives Otto Hahn Medal

Andreas Haeberlen has been awarded the 2009 Otto Hahn Medal for outstanding scientific achievement. The medal, and its accompanying monetary prize, will be presented to Andreas at the Max Planck society's annual General Assembly in Hannover on June 16. Andreas's medal was awarded for "pioneering work on accountability in distributed computer systems, in particular for the design, implementation and demonstration of practical techniques for the reliable and tamper-proof detection of complex faults.

Andreas Haeberlen has been awarded the 2009 Otto Hahn Medal for outstanding scientific achievement. The medal, and its accompanying monetary prize, will be presented to Andreas at the Max Planck society's annual General Assembly in Hannover on June 16. Andreas's medal was awarded for "pioneering work on accountability in distributed computer systems, in particular for the design, implementation and demonstration of practical techniques for the reliable and tamper-proof detection of complex faults. Andreas obtained his PhD in Spring 2009 and is now an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania.

Founded in 1948, the Max Planck Society is a non-profit scientific organization affiliated with the Max Planck Institutes. The Society awards the Otto Hahn Medal annually to young scientists in recognition of outstanding scientific achievement. In addition to a stipend, the award gives winners preference for grants enabling them to conduct research abroad for one year.

Read more

Michael Backes awarded an ERC Starting Grant, selected by Technology Review as a “Young Innovator”

MPI-SWS fellow Michael Backes has been honored as a recipient of the ERC Starting Grant 2009. Michael was also recently selected by the editors of Technology Review as one of the 35 young innovators under the age of 35 whose work they found most exciting.

The ERC Starting Grant was established in 2007 by the European Research Council to support up-and-coming research leaders in Europe. Recipients are selected based upon "outstanding track-record of early achievements appropriate to their research field and career stage."

Michael's 2009 Young Innovator award is based on his work proving that Internet security protocols can really be trusted.

MPI-SWS fellow Michael Backes has been honored as a recipient of the ERC Starting Grant 2009. Michael was also recently selected by the editors of Technology Review as one of the 35 young innovators under the age of 35 whose work they found most exciting.

The ERC Starting Grant was established in 2007 by the European Research Council to support up-and-coming research leaders in Europe. Recipients are selected based upon "outstanding track-record of early achievements appropriate to their research field and career stage."

Michael's 2009 Young Innovator award is based on his work proving that Internet security protocols can really be trusted. Software designed by Backes' group can prove in less than a second whether an Internet protocol is truly secure.

Michael received his Ph.D. from Saarland University in 2002. He was a Research Staff Member at the IBM Zurich Research laboratory before accepting his current position as a professor at Saarland University in 2006. He was named a fellow of the Max-Planck Institute for Software Systems in 2007.

Read more

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.

Peter Druschel receives Mark Weiser Award

December 9, 2008

MPI-SWS faculty Peter Druschel has been honored as the eighth recipient of the Mark Weiser Award -- the top international award in the field of operating systems.

The Mark Weiser Award was established in 2001 by ACM's Special Interest Group on Operating Systems. Recipients must have begun their careers no earlier than 20 years prior to nomination, and they are selected based upon "contributions that are highly creative, innovative,

MPI-SWS faculty Peter Druschel has been honored as the eighth recipient of the Mark Weiser Award -- the top international award in the field of operating systems.

The Mark Weiser Award was established in 2001 by ACM's Special Interest Group on Operating Systems. Recipients must have begun their careers no earlier than 20 years prior to nomination, and they are selected based upon "contributions that are highly creative, innovative, and possibly high-risk, in keeping with the visionary spirit of Mark Weiser."

In the award ceremony, Peter's broad and high-impact contributions in his research field were highlighted, including work such as the Pastry peer-to-peer system, the Flash web server, the Fbufs operating system support for high-speed networking, and his work on resource management in large-scale servers.

Peter received his Ph.D. from the University of Arizona in 1994. He was a Professor of Computer Science at Rice University, before accepting his current position as the founding director of the Max Planck Institute for Software Systems.

Previous recipients of the Mark Weiser Award are Frans Kaashoek (MIT), Mendel Rosenblum (Stanford), Mike Burrows (Google), Brian Bershad (Univ. of Washington), Tom Anderson (Univ. of Washington), Dawson Engler (Stanford), and Peter Chen (Univ. of Michigan)

Read more

Visiting Professor Patrick Loiseau receives Humboldt award

March 2, 2016

Patrick Loiseau, an Assistant Professor in the Data Science department at EURECOM, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Krishna Gummadi and other MPI-SWS researchers on security and privacy issues in social computing systems.