SYSTOR 2020 Goes Virtual

The 13th ACM International Systems and Storage Conference October 13-14, 2020https://www.systor.org/2020 Free registration: systor.org/register. Keynote talks Intelligent Architectures for Intelligent Machines Prof. Onur Mutlu (ETH Zurich and Carnegie Mellon University) Edge Computing: a New Disruptive Force Prof. Mahadev (Satya) Satyanarayanan (Carnegie Mellon University) Serverless in Seattle: Toward Making Serverless the Future of the Cloud Ricardo … Read more

People of Systems & Architecture: Margo I. Seltzer (Part 1)

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

NSF-Supported Chameleon Cloud Phase 3

The NSF-funded systems research testbed, Chameleon, has just been extended for another 4 years! Since public release 5 years ago, it has served almost 5,000 users working on research and education projects. Chameleon supports bare metal reconfiguration, custom kernel boot, and serial console access. Chameleon hardware combines scale with diversity, providing access to many different … Read more

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