News 2011

Björn Brandenburg wins EMSOFT best paper award

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

Paul Francis wins SIGCOMM test of time award

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

Rupak Majumdar wins PLDI most influential paper award

August 2011
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.

Three new faculty to join MPI-SWS

July 2011
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.

January 2011
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.

Andreas Haeberlen, now an Assistant Professor in the department of Computer and Information Science at the University of Pennsylvania, has received the award for his proposal "Evidence in Federated Distributed Systems."

Alan Mislove, now an Assistant Professor in the College of Computer and Information Science at Northeastern University, has received the award for his proposal "Systems for the Emerging Patterns of Content Exchange."