Tianran Sun

Undergrad student, Department of Computer Science, Shanghai Jiaotong University

Joined

February 2025

Names

Tianran Sun (Preferred)

Emails

****@sjtu.edu.cn (Confirmed)

Personal Links

Career & Education History

Undergrad student

Department of Computer Science, Shanghai Jiaotong University (sjtu.edu.cn)

2022 – 2026

Advisors, Relations & Conflicts

Coauthor

2025 – Present

Coauthor

2025 – Present

Expertise

No areas of expertise listed

Publications

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
Anjiang Wei, Tarun Suresh, Tianran Sun, Haoze Wu, Ke Wang, Alex Aiken
- ICLR 2026 Workshop VerifAI-2
- Readers: Everyone
InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis?
Anjiang Wei, Tarun Suresh, Tianran Sun, Haoze Wu, Ke Wang, Alex Aiken
- Submitted to ICLR 2026
- Readers: Everyone
Astra: A Multi-Agent System for GPU Kernel Performance Optimization
Anjiang Wei, Tianran Sun, Yogesh Seenichamy, Hang Song, Anne Ouyang, Azalia Mirhoseini, Ke Wang, Alex Aiken
- DL4C @ NeurIPS 2025 Poster
- Readers: Everyone
AttentionRAG: Attention-Guided Context Pruning in Retrieval-Augmented Generation
Yixiong Fang, Tianran Sun, Yuling Shi, Xiaodong Gu
- KnowFM @ ACL 2025
- Readers: Everyone
Curator Attack: When Blackbox Differential Privacy Auditing Loses Its Power
Shiming Wang, Liyao Xiang, Bowei Cheng, Zhe Ji, Tianran Sun, Xinbing Wang
- CCS 2024
- Readers: Everyone

Co-Authors