Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2026
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…