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,…
Mitra Nasri has received the best paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled "On the Problem of Finding Optimal Harmonic Periods” (with Morteza Mohaqeqi, Yang Xu, Anton Cervin, and Karl-Erik Arzén).
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…
Three papers from MPI-SWS were accepted to ACM POPL 2017: A promising semantics for relaxed-memory concurrencyRelational cost analysisThread modularity at many levels: a pearl in compositional verification
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
