News

SIGOPS’ Response to Community Feedback on the Frequency of the SOSP and OSDI

by

In late 2019 some members of the systems research community came together to present a proposal that SOSP, the ACM Symposium on Operating Systems Principles, and OSDI, the USENIX Symposium on Operating Systems Design and Implementation, be held annually rather than biennially. Their goal was to support the publication of more work produced by the … Read more SIGOPS’ Response to Community Feedback on the Frequency of the SOSP and OSDI

ACM SIGOPS Stands with Those Who Promote Inclusivity

by

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 ACM SIGOPS Stands with Those Who Promote Inclusivity

Impact of the COVID-19 outbreak on SIGOPS activities

by

Updated: April 29, 2020 Due to the ongoing COVID-19 pandemic, several SIGOPS sponsored events are making changes. ASPLOS 2020 – the physical conference is canceled. EuroSys 2020 – the physical conference is canceled. VEE 2020 – the physical conference is canceled. SIGOPS Summer School (SATIS) 2020 – canceled. Systor 2020 – the conference is postponed … Read more Impact of the COVID-19 outbreak on SIGOPS activities

Mechanized Proofs for PL: Past, Present, and Future

by

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.

About

This site is maintained by volunteers for ACM SIGOPS. Thank you for visiting! If you have questions about the site, please send a note to our information director.

Twitter
SIGOPS addresses a broad spectrum of issues associated with operating systems research and development. Members are drawn from a broad community spanning industry, academia, and government. SIGOPS supports many conferences and workshops. Areas of special interest include: interactions with computer architecture, multiprocessing, distributed, mobile computing, networking, resource management, security, and interprocess communication.
 

ACM SIGOPS 2017 © All Rights Reserved.