Tianyin Xu
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1AI×1Distributed×1OS×1
Frequent co-authors
Research Timeline
2026
Specula: Scaling formal specifications for autonomous model checking of system code
Specula is an autonomous system that generates high-quality formal specifications for large, complex code using LLMs, improving understanding and finding bugs.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.AIcs.DCNEWEmpiricalJul 28, 2026
Specula: Scaling formal specifications for autonomous model checking of system code
Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang, Yiming Su +5 more
Specula is an autonomous system that generates high-quality formal specifications for large, complex code using LLMs, improving understanding and finding bugs.
View →