For the second year in a row, the MPIs for Informatics and Software Systems jointly participated in the annual Girls' Day. We welcomed 14 school-aged girls to our institute, and showed them what computer science research is all about. We spent an exciting morning with hands-on computer science puzzles, soldered…
A paper by Vineet Rajani and Deepak Garg has been honored as a distinguished paper at the upcoming 31st IEEE Symposium on Computer Security Foundations (CSF 2018). The paper is titled "Types for Information Flow Control: Labeling Granularity and Semantic Models".
Björn Brandenburg has won an Outstanding Paper award at the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018) for his paper entitled “Scalable Memory Reclamation for Multi-Core, Real-Time Systems” (with Yuxin Ren, Guyue Liu, and Gabriel Parmer of George Washington University, Washington, DC, USA).
Björn Brandenburg is the program chair of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'19), to be held as part of CPSWeek 2019 in Montreal, Canada from April 16 to April 18, 2019. RTAS is a top-tier conference with a focus on systems research related to embedded systems…
In 1937, a young Englishman by the name of Alan M. Turing published a paper with the obscure title "On computable numbers, with an application to the Entscheidungsproblem'' in the Proceedings of the London Mathematical Society. In doing so, he arguably laid the mathematical foundations of modern computer science. Turing's seminal…
