Shan Jiang

Large-scale TPU systems @ Google

prof_pic.png

I am a Software Engineer at Google, working on large-scale TPU systems for LLM training and inference.

I received my Ph.D. from the Department of Electrical and Computer Engineering at The University of Texas at Austin in 2026, advised by Professor Sarfraz Khurshid. I received my B.Eng. in Software Engineering from Beijing Jiaotong University in 2023.

My research focuses on leveraging large language models for automated software engineering, including test automation, program synthesis, and formal verification. I am open to research collaborations — feel free to reach out!

News

Jun 17, 2026 Our paper Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy Specifications was accepted by MODELS’26!
May 26, 2026 I joined Google, where I work on scaling up large TPU systems for LLM training and inference.
Apr 06, 2026 I successfully defended my Ph.D. dissertation in Electrical and Computer Engineering at The University of Texas at Austin.
Feb 17, 2026 Our paper OBsmith: LLM-Powered JavaScript Obfuscator Testing was accepted by OOPSLA’26!
Dec 01, 2025 Our paper CASCADE: LLM-powered JavaScript Deobfuscator at Google was accepted by ICSE-SEIP’26!
Oct 11, 2024 Our work JSIR: Next Generation JavaScript Analysis Tooling was open-sourced on Google’s GitHub!