Recent CSD Ph.D. grad Juncheng Yang received the 2025 ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award for his contributions to and impact on software systems research.

Save ATC: A petition to SIGOPS to adopt the USENIX Annual Technical Conference (ATC) and retain its steering committee Dear SIGOPS Officers, We, the undersigned members of the systems research communi...

Save ATC: A petition to SIGOPS to adopt the USENIX Annual Technical Conference (ATC) and retain its steering committee Dear SIGOPS Officers, We, the undersigned members of the systems research communi...

2023年8月25日（金）に開催される「14th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2023)」にて、さくらインターネット研究所の中田が登壇いたします。ぜひ...

YouTube video by ACM SIGOPS

YouTube video by ACM SIGOPS

Many operating system designs can be placed into one of two very rough categories, depending upon how they implement and use the notions of process and synchronization. One category, the "Message-orie...

Many operating system designs can be placed into one of two very rough categories, depending upon how they implement and use the notions of process and synchronization. One category, the "Message-orie...

Editors’ note: AI has been actively pushing the frontier of applied formal methods for computing systems. In this article, the Specula team wrote about their experience of evaluating LLMs on modeling system code, the basic capability for agentic model checking, using TLA+, a specification language f

This paper recently appeared at ACM SIGOPS Operating Systems Review. It provides an overview of the shared log abstraction in distributed s...

この記事では、ユーザ空間プログラムでプロセススケジューリングをある程度制御する方法について、15th ACM SIGOPS Asia-Pacific Works...

**PODC 2026** , with support from **ACM SIGACT** , **ACM SIGOPS** , and other PODC sponsors, encourages participation in the Symposium and is pleased to offer a limited number of travel grants to support attendance. Applicants will be asked to provide: * A short statement of purpose explaining the relevance of PODC 2026 to their research; * An estimated travel and accommodation budget; * Information on student status (if applicable); * Confirmation of paper authorship and presentation role; * A letter of support from advisor (if applicable). **Applicants may apply usingthis form.** The grants are primarily intended to reimburse **travel and accommodation expenses**. This year, limited support may also be available for **childcare expenses**. Participants requesting childcare support will need to make their own childcare arrangements, as the conference does not provide childcare services. Awards will be provided as reimbursements **after the conference**. Recipients will be required to submit receipts and any additional documentation required by ACM for processing. Eligible expenses must comply with ACM reimbursement policy. We especially encourage applications from undergraduate and graduate students, with priority given to those who are presenting or co-authoring a PODC 2026 paper. Additional consideration may be given to applicants demonstrating financial need or coming from under-resourced institutions/countries. Geographic equity will be taken into consideration. Depending on availability of funds, limited support may also be extended to postdoctoral researchers or faculty members with insufficient travel funding. These grants are only available to participants for whom **PODC is the primary conference** being attended (participants that choose PODC as their primary conference in the registration process). Recipients must register for **PODC 2026** in order to receive support. Participants whose primary conference is **SPAA** or **ICALP** should apply for support through those conferences. If you have any questions, please contact diana.ghinea at hlsu.ch. ## **Deadline** All deadlines are at **23:59 AoE**. Application deadline: **May 16, 2026** Notification: **May 21, 2026**

この記事では、ユーザ空間プログラムでプロセススケジューリングをある程度制御する方法について、15th ACM SIGOPS Asia-Pacific Works...

この記事では、ユーザ空間プログラムでプロセススケジューリングをある程度制御する方法について、15th ACM SIGOPS Asia-Pacific Works...

The Research Pipeline is Stalling The U.S. National Science Foundation (NSF) froze all outgoing funding, including new awards and scheduled payments on active grants. Over 1,000 NSF research projects were abruptly canceled in a few days, resulting in roughly $739 million in halted research fundin