Skip to content

Home
Blog
About
- Bylaws
- CARES
- History
- Annual Reports
- SIGOPS Chapters
- People
Conferences
Awards
Publications

Month: May 2026

Protected: Can LLMs Model Real-World Systems in TLA+?

May 7, 2026May 7, 2026 by Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, and Tianyin Xu

There is no excerpt because this is a protected post.

Categories Artifacts, Blog, Noteworthy

Recent Posts

Protected: Can LLMs Model Real-World Systems in TLA+?
The Long Game: How Agents That Remember Resolve Operational Issues Faster
LDOS: Toward A Learning-Directed Operating System
Let the Barbarians In: How AI Can Accelerate Systems Performance Research
Glia: A Human-Inspired AI for Systems Design and Optimization

Archives

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.

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.