News – MPI SWS https://webedit.mpi-sws.org Max Planck Institute for Software Systems Mon, 31 Oct 2016 08:23:43 +0000 en-US hourly 1 https://wordpress.org/?v=4.6.1 MPI-SWS researcher wins RTNS 2016 best-paper award https://webedit.mpi-sws.org/news/mpi-sws-researcher-wins-rtns-2016-best-paper-award/ Thu, 27 Oct 2016 07:42:41 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=4016 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).

]]>
Björn Brandenburg will chair EMSOFT’17 https://webedit.mpi-sws.org/news/bjorn-brandenburg-will-chair-emsoft17/ Tue, 18 Oct 2016 14:18:20 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3757 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.

]]>
3 MPI-SWS papers accepted to POPL’17 https://webedit.mpi-sws.org/news/3-mpi-sws-papers-accepted-to-popl17/ Tue, 18 Oct 2016 11:10:40 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3737 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 https://webedit.mpi-sws.org/news/two-mpi-sws-papers-accepted-at-wsdm-17/ Tue, 18 Oct 2016 10:34:51 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=4020 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 https://webedit.mpi-sws.org/news/rupak-majumdar-will-chair-cav-2017/ Thu, 13 Oct 2016 10:56:41 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=2658 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 https://webedit.mpi-sws.org/news/joel-ouaknine-will-chair-lics-2017/ Thu, 13 Oct 2016 10:52:10 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=2657 Joel Ouaknine is the Program Chair of the Thirty-Second Annual ACM/IEEE Symposium onLogic 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 https://webedit.mpi-sws.org/news/two-mpi-sws-papers-accepted-at-rtns16/ Wed, 07 Sep 2016 14:44:55 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3768 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 until October 21 in Brest, France.

]]>
MPI-SWS research in the news https://webedit.mpi-sws.org/news/mpi-sws-research-in-the-news-4/ Thu, 01 Sep 2016 11:54:14 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3822 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 https://webedit.mpi-sws.org/news/two-mpi-sws-papers-accepted-into-rtss16/ Wed, 31 Aug 2016 22:00:13 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3767 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 https://webedit.mpi-sws.org/news/neel-krishnaswami-joins-university-of-cambridge-as-university-lecturer/ Sun, 31 Jul 2016 11:53:09 +0000 https://webedit.mpi-sws.org/?post_type=mpisws_news&p=3821 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!

 

]]>