News 2016

Five MPI-SWS papers accepted at WWW '17

December 2016
Five papers from MPI-SWS have been accepted to WWW 2017:

  • Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment

  • Modeling the Dynamics of Online Learning Activity

  • Distilling Information Reliability and Source Trustworthiness from Digital Traces

  • Optimizing the Recency-Relevancy Trade-off in Online News Recommendations

  • Predicting the Success of Online Petitions Leveraging Multi-dimensional Time-Series


The 26th International World Wide Web Conference (WWW) will take place in Perth, Australia in April 2017.

MPI-SWS researchers win RTSS 2016 best paper award

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

Program Analysis course at TU Kaiserslautern

November 2016
Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester.

The course meets Mondays 17:15-18:45 in room 48-379 on the University of Kaiserslautern campus.

More information about the course

Complexity Theory Course at TU Kaiserslautern

November 2016
Rupak Majumdar is teaching Complexity Theory at the University of Kaiserslautern in the Winter 2016-17 semester.

The course meets Mondays 15:30-17:00 at 46-280 and Wednesdays 13:45-15:15 at 46-268.

More information about the course

Multiple Tenure-Track Openings

November 2016
Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems, including security and privacy, embedded and mobile systems, distributed and parallel systems, computational social science, legal, economic, and social aspects of computing, NLP, machine learning, information and knowledge management, programming languages, algorithms and logic, and verification.

To receive full consideration, applications should be received by December 15, 2016. For further details see our job ad.

Björn Brandenburg will chair EMSOFT'17

October 2016
Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017  ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

EMSOFT brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes, with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics. See the ESWEEK homepage for further details.

Three MPI-SWS papers accepted to POPL'17

October 2016
Three papers from MPI-SWS were accepted to ACM POPL 2017:
  • A promising semantics for relaxed-memory concurrency
  • Relational cost analysis
  • Thread modularity at many levels: a pearl in compositional verification

Two MPI-SWS papers accepted at WSDM'17

October 2016
Two papers from MPI-SWS were accepted to ACM WSDM 2017:

  • RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks

  • Uncovering the Dynamics of Crowdlearning and the Value of Knowledge

Rupak Majumdar will chair CAV 2017

October 2016
Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany.

CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The CAV home page has more information.

Joel Ouaknine will chair LICS 2017

October 2016
Joel Ouaknine is the Program Chair of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), to be held between 20 and 23 June, 2017 in Reykjavik. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

Two MPI-SWS papers accepted at RTNS'16

September 2016
Two MPI-SWS papers were accepted into the program of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016):
  • Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic
  • On the Problem of Finding Optimal Harmonic Periods

RTNS 2016 will be held from October 19 to October 21 in Brest, France.

MPI-SWS research in the news

September 2016
MPI-SWS projects Aqua and Herd were discussed in an ArsTechnica article describing next generation anonymity networks.

Two MPI-SWS papers accepted into RTSS'16

September 2016
Two papers of MPI-SWS researchers were accepted into the program of the 37th IEEE Real-Time Systems Symposium (RTSS 2016):
  • A Blocking Bound for Nested FIFO Spin Locks
  • Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations
RTSS 2016 will be held from November 29 until December 2 in Porto, Portugal.

Neel Krishnaswami joins University of Cambridge as university lecturer

July 2016
Neel Krishnaswami, a former postdoc in Derek Dreyer's group at MPI-SWS, will be joining the University of Cambridge Computer Laboratory as a University Lecturer.

Congratulations, Neel!

 

MPI-SWS alumnus Pramod Bhatotia joins University of Edinburgh as senior lecturer

July 2016
Pramod Bhatotia, who completed his doctoral studies at MPI-SWS, will be joining the University of Edinburgh as a Senior Lecturer of computer science.

Congratulations, Pramod!

MPI-SWS researchers win ECRTS best paper award

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

Mitra Nasri wins Humboldt fellowship

July 2016
MPI-SWS postdoctoral fellow Mitra Nasri has won a two-year Humboldt postdoctoral fellowship. The fellowship enables highly-qualified scientists from abroad to spend extended periods of research in Germany. Dr. Nasrabadi will be spending her fellowship years with the MPI-SWS Real Time Systems research group.

Derek Dreyer awarded ERC Consolidator Grant

April 2016
Derek Dreyer, head of the MPI-SWS Foundations of Programming group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "RustBelt: Logical Foundations for the Future of Safe Systems Programming" will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for the Rust programming language.

The European Research Council (ERC) is a pan-European funding body that supports cutting-edge research. It offers funding for groundbreaking research projects of the highest scientific quality across Europe, across all research areas. Talented researchers from all over the world can receive funding for excellent research in Europe. The ERC Consolidator Grant offers funding for researchers with 7 to 12 years of experience after achieving a PhD.

The RustBelt Project

A longstanding question in the design of programming languages is how to balance safety and control. C-like languages give programmers low-level control over resource management at the expense of safety, whereas Java-like languages give programmers safe high-level abstractions at the expense of control.

Rust is a new language developed at Mozilla Research that marries together the low-level flexibility of modern C++ with a strong "ownership-based" type system guaranteeing type safety, memory safety, and data race freedom. As such, Rust has the potential to revolutionize systems programming, making it possible to build software systems that are safe by construction, without having to give up low-level control over performance.

Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold. To rule out data races and other common programming errors, Rust's core type system prohibits the aliasing of mutable state, but this is too restrictive for implementing some low-level data structures. Consequently, Rust's standard libraries make widespread internal use of "unsafe" blocks, which enable them to opt out of the type system when necessary. The hope is that such "unsafe" code is properly encapsulated, so that Rust's language-level safety guarantees are preserved. But due to Rust's reliance on a weak memory model of concurrency, along with its bleeding-edge type system, verifying that Rust and its libraries are actually safe will require fundamental advances to the state of the art.

In this project, we aim to equip Rust programmers with the first formal tools for verifying safe encapsulation of "unsafe" code. Any realistic languages targeting this domain in the future will encounter the same problem, so we expect our results to have lasting impact. To achieve this goal, we will build on recent breakthrough developments by the PI and collaborators in concurrent program logics and semantic models of type systems.

More

Joel Ouaknine joins the MPI-SWS faculty

March 2016
Joel Ouaknine joins the institute's faculty as a scientific director, effective Aug 1, 2016. Joel's research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.

In 2015, Joel was awarded an ERC Consolidator Grant, which provides almost 2 million euros of research funding over a period of five years. He is also the recipient of the 2010 Roger Needham Award, given annually "for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD."

Joel will join MPI-SWS from the University of Oxford, where he is a Professor of Computer Science and Fellow of St John's College. Joel holds a BSc and MSc in Mathematics from McGill University, and received his PhD in Computer Science from Oxford in 2001. He subsequently did postdoctoral work at Tulane University and Carnegie Mellon University.