Editors:
Vijay Chidambaram and Baris Kasikci
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
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
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
The Increasing Heterogeneity of Cloud Hardware and What It Means for Systems
The past five years have seen a significant change in the way cloud servers look. Traditionally homogeneous cloud systems are progressively shifting to heterogeneous designs,
The Remarkable Utility of Dataflow Computing
We build computer systems around abstractions. The right abstractions are timeless and versatile, meaning they apply in many different settings. Such abstractions make developers’ lives
Mechanized Proofs for PL: Past, Present, and Future
The POPLmark Challenge helped stir lasting excitement about mechanized proofs within the PL community. Despite the advances and successes, there is a lot more to do. This post reflect on the state of affairs of mechanized proof in PL, organized around the topics and discussions that arose in the POPLmark 15 Year Retrospective Panel.