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
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
https://2021.eurosys.org/index.html The European Conference on Computer Systems (EuroSys) is a premier international forum for presenting computer systems research. EuroSys 2021 seeks papers on all areas of computer systems research, including: Operating systems Distributed systems Cloud computing and datacenter systems File and storage systems Networked systems Language support and runtime systems Systems security and privacy Dependable … Read more
In the United States, and throughout many regions around the world, current events have brought attention to the urgent need for equality and respect for all individuals. ACM SIGOPS reaffirms its commitment to fostering diversity and inclusion within the global computer science community together with the bigger ACM family. As an international organization of nearly 100,000 … Read more