New Operating Systems Review Issue

The latest issue of ACM OSR (vol. 54, no. 1) is now available in the ACM Digital Library. With seven papers, this issue addresses the special topics: formal methods and verification; and synchronization and locking Mechanisms. Formal Methods and Verification Towards Provable Timing-Channel Prevention. By Gernot Heiser, Toby Murray, and Gerwin Klein (UNSW, Sydney). überSpark: Practical, Provable, … Read more New Operating Systems Review Issue

The EuroSys 2020 Online Conference

The 15th European Conference on Computer Systems (EuroSys’20) was organized as a virtual (online) conference on April 27- 30, 2020. The main EuroSys’20 track took place April 28-30, 2020, preceded by five workshops (EdgeSys’20, EuroDW’20, EuroSec’20, PaPoC’20, SPMA’20) on April 27, 2020. The decision to hold a virtual (online) conference was taken in early April … Read more The EuroSys 2020 Online Conference

People of Systems & Architecture: James Mickens

With most systems and architecture conferences taking the online route, we figured it’s a great time to get to know a few people in the systems/architecture research community. People of Systems & Architecture is a series of interviews conducted this year, and continues in the same vein as the People of PL, People of POPL, … Read more People of Systems & Architecture: James Mickens

Why stream processing systems are now more relevant than ever

Traditional data management software and algorithms are built on the concept of persistent data sets that are reliably stored in stable storage and can be queried and updated several times throughout their lifetimes. In reality, however, data is rarely complete and stationary. In its latest report, the International Data Corporation predicts that in 5 years … Read more Why stream processing systems are now more relevant than ever