Yuxi Ling
Publications
VERSE Diary

Yuxi Ling

Yuxi Ling

Ph.D. Student
Computer Science
School of Computing
National University of Singapore

Singapore
Email
GitHub

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification

Published in ISSTA, 2026

Share on

Bluesky Facebook LinkedIn Mastodon X (formerly Twitter)

Follow:
GitHub
Feed

© 2026 Yuxi Ling, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-10-04, Sitemap