YouTube video by ACM SIGOPS

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

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

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

ZEBRA is a Zcash node written entirely in Rust. Prior to version 4.4.0, Zebra's block validator undercounts transparent signature operations against the 20000-sigop block limit (MAX_BLOCK_SIGOPS), allowing it to accept blocks that zcashd rejects with bad-blk-sigops. A miner who produces such a block can split the network: Zebra nodes follow …

**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**

Join the 16th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2025) in Seoul, South Korea, on October 12-13, and engage in discussions on systems research, f...

This alert has been successfully added and will be sent to:

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...

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

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

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