Recent Spotlights



Two new faculty to join MPI-SWS

We are pleased to announce that two new faculty will join MPI-SWS.

Allen Clement obtained his Ph.D. at the University of Texas at Austin in 2011. Allen's research aims at designing and building systems that continue to work despite the myriad of things that go 'wrong' in deployed systems, including broken components, malicious adversaries, and benign race conditions. His research builds on techniques from distributed systems, security, fault tolerance, and game theory.

Cristian Danescu-Niculescu-Mizil is joining us from Cornell University, where he obtained his PhD in computer science. Cristian's research aims at developing computational frameworks that can lead to a better understanding of human social behavior, by unlocking the unprecedented potential of the large amounts of natural language data generated online. His work tackles problems related to conversational behavior, opinion mining, computational semantics and computational advertising.




Recent highlights

Three best paper awards: 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. Krishna Gummadi and Farshad Kooti, along with Winter Mason and Meeyoung Cha, have received a best paper award at ICWSM 2012.

Two Google fellowships: Georg Neis won a 2012 Google PhD Fellowship for his work in Programming Technology. First year PhD student Ezgi Cicek was awarded an Anita Borg Scholarship.

Research in the news: A recent WWW 2012 paper by Krishna Gummadi, Bimal Viswanath, and their coauthors was covered by GigaOM, a popular technology news blog, in an article titled Who's to blame for Twitter spam? Obama, Gaga, and you. Stevens Le Blond's work on security flaws in Skype and other peer-to-peer applications has been receiving global media attention: WSJ, Le Monde (French), die Zeit (German), Daily Mail, NewScientist, Slashdot, Wired, and New Scientist.




MPI-SWS researchers win three best paper awards

Rupak Majumdar and Zhenyue Long, along with Georgei Calin and Roland Meyer at TuKL, havve 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."




Two MPI-SWS students win Google fellowships

Georg Neis won a 2012 Google PhD Fellowship for his work in Programming Technology. First year PhD student Ezgi Cicek was awarded an Anita Borg Scholarship. They join MPI-SWS PhD student Juhi Kulshrestha, who received a 2011 Google Fellowship for her work in social networking.




MPI-SWS research in the news

Krishna Gummadi's WWW 2012 paper was covered by GigaOM, a popular technology news blog, in an article titled Who's to blame for Twitter spam? Obama, Gaga, and you.

Steven le Blond's work on security flaws in Skype and other peer-to-peer applications has been receiving global media attention: WSJ, Le Monde (French), die Zeit (German), Daily Mail, NewScientist, Slashdot, Wired, New Scientist.




Visiting Professor Johannes Gehrke wins 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, 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."




Björn Brandenburg wins EMSOFT best paper award

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




Two test of time awards

Two MPI-SWS faculty have recently won prestigious test of time awards. Rupak Majumdar has received the ACM SIGPLAN Most Influential PLDI (Programming Language Design and Implementation) Paper Award for 2011 and Paul Francis has received the ACM SIGCOMM Test of Time 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.

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




Three new faculty to join MPI-SWS

We are pleased to announce that three new faculty will join MPI-SWS this fall.

Björn Brandenburg is joining us from the University of North Carolina at Chapel Hill (UNC), where he obtained his Ph.D. in computer science. Björn's research interests include multiprocessor real-time system, real-time synchronization protocols, and operating systems. Björn is the lead designer and developer of LITMUSRT, an extension of the Linux kernel for real-time scheduling and synchronization on multicore platforms.

Deepak Garg is joining us from the Cybersecurity Lab (CyLab) at Carnegie Mellon University, where he was a post-doctoral researcher. He obtained his Ph.D. from Carnegie Mellon's Computer Science Department. His research interests are in the areas of computer security and privacy, formal logic and programming languages. He is specifically interested in logic-based models of secure systems and formal analysis of security properties of systems.

Ruzica Piskac is joining us from EPFL, where she has completed her Ph.D. in computer science. The goal of her research is to make software development easier and software more reliable via automated reasoning techniques. She is specifically interested in decision procedures, their combinations and applications in program verification and software synthesis.

 


 

Two MPI-SWS alumni receive NSF CAREER awards.

Two MPI-SWS alumni — Andreas Haeberlen and Alan Mislove — have received NSF CAREER awards. The CAREER award is the National Science Foundation's most prestigious award in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/nsf2011.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 195

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/nsf2011.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 195

 


 

MPI-SWS study exposing Facebook privacy leak attracts global media attention

A study by MPI-SWS researchers Saikat Guha (now at Microsoft Research), Bin Cheng, and Paul Francis has been highlighted on CNN, NPR, The Washington Post, Fox News, and other major media outlets.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/privad.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 223

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/privad.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 223

 


 

Viktor Vafeiadis joins the MPI-SWS faculty

Viktor Vafeiadis joins the institute's faculty, starting in October 2010. Viktor's research interests are in software analysis and verification, programming languages, programming logics, and concurrency.
Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/viktor_vafeiadis.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 244

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/viktor_vafeiadis.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 244

 


 

Robert Harper appointed as an external scientific member

Robert Harper has been appointed as the institute's first external scientific member. Dr. Harper is a Professor of Computer Science at Carnegie Mellon University, where he conducts research on programming language design and implementation. Bob will be visiting the institute in Summer 2010.
Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/bob_harper.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 262

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/bob_harper.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 262

 


 

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.
Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/andreas_haeberlen.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 280

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/andreas_haeberlen.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 280

 


 

Umut Acar joins the MPI-SWS faculty

Umut Acar joins the institute's faculty, starting in January 2010. Umut's research interests are in language and algorithm design and implementation, particularly for dynamic systems that interact with changing data from various sources, such as users and the physical environment.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/umut_acar.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 297

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/umut_acar.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 297

 


 

Rupak Majumdar joins the MPI-SWS faculty

Rupak Majumdar joins the institute's faculty as a scientific director, effective June, 2010. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.
Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/rupak_majumdar.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 318

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/rupak_majumdar.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 318

 


 

MPI-SWS graduates first four students

    
In the spring of 2009, MPI-SWS graduated its first four PhD students—Andreas Haeberlen, Alan Mislove, Animesh Nandi, and Atul Singh. All four students have landed competitive academic or research positions in a very tight job market.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/students_grad.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 341

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/students_grad.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 341

 


 

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.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/backes_erc.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 365

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/backes_erc.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 365

 


 

Ashutosh Gupta and Andrey Rybalchenko win EAPLS best paper award

MPI-SWS PhD student Ashutosh Gupta 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."


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/eapls_award.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 386

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/eapls_award.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 386

 


 

Peter Druschel wins Mark Weiser Award

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


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/mark_weiser_award.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 403

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/mark_weiser_award.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 403

 


 

Paul Francis joins the MPI-SWS faculty

Paul Francis joins the institute's faculty as a scientific director, effective Jan 1, 2009. Paul's work over the years has focused on network routing and addressing problems, with a particular interest in large and self-configuring systems.


Warning: include(/www/sws-websites/www.mpi-sws.org/cont/spotlight/paul_francis.php) [function.include]: failed to open stream: No such file or directory in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 424

Warning: include() [function.include]: Failed opening '/www/sws-websites/www.mpi-sws.org/cont/spotlight/paul_francis.php' for inclusion (include_path='.:/usr/lib/php') in /www/sws-websites/www.mpi-sws.org/cont/notused/spotlight_archive.php on line 424

 


 

 


Career opportunities:

New buildings:

Video and Pictures


Lectures:

Institute Colloquium

Distinguished Lecture Series

Student Defense Talks

Joint MPI-INF/MPI-SWS Lecture Series



Computing research organizations in the surrounding area:

List of all organizations




      © Copyright by Max Planck Institute for Software Systems 2005. All rights reserved. Legal notice and Imprint