5 papers
Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification
Finn Hackett, Evan Wrench, Ivan Beschastnikh +1
Linearizability is a standard correctness condition for concurrent objects. It takes a correct by construction sequential specification of a concurrent data structure, and produces…
When Who You Are Can Change the Code You Get: A Study of Persona-Induced Bias in LLM Code Generation
Anubhav Gupta, Mayara Costa Figueiredo, Leticia Santos Machado +4
Large Language Models (LLMs) are widely used as programming assistants, yet it remains unclear whether and how user's demographic information impacts the technical quality of gener…
Specula: Scaling formal specifications for autonomous model checking of system code
Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6
Specula is a push-button agentic system that generates high-quality formal specifications for large, complex system code and uses the specifications for highly effective model chec…
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Qian Cheng, Ruize Tang, Emilie Ma +7
Formal models are essential to specifying large, complex computer systems and verifying their correctness, but are notoriously expensive to write and maintain. Recent advances in g…
FedFetch: Faster Federated Learning with Adaptive Downstream Prefetching
Qifan Yan, Andrew Liu, Shiqi He +2
Federated learning (FL) is a machine learning paradigm that facilitates massively distributed model training with end-user data on edge devices directed by a central server. Howeve…