Jiayi Wei

Jiayi Wei 家一 魏

Research Scientist at Augment

Augment Computing, Inc.

Biography

I am a research scientist at Augment Computing, Inc. I obtained my PhD degree in Computer Science at UT Austin, advised by Işıl Dillig and Greg Durrett. My PhD research focuses on combining deep learning and static analysis to automate programming tasks such as type inference and code autoediting. During my first few years as a PhD student, I also explored a range of other research topics, including software security and verification, program synthesis, and robotics. Before joining UT, I received my bachelor’s degree in Physics from the University of Science and Technology of China.

Interests
  • AI for Code
  • Software Engineering
  • Programming Language Theories
Education
  • PhD in Computer Science, 2018—2023

    University of Texas at Austin

  • BSc in Physics, 2013—2017

    University of Science and Technology of China

Recent Publications

(2023). Coeditor: Leveraging Repo-level Diffs for Code Auto-editing. In ICLR 2024 (Spotlight paper).

PDF Cite Code Video

(2022). TypeT5: Seq2seq Type Inference using Static Analysis. In ICLR 2023.

PDF Cite Code Video

(2022). STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. In IROS 2022.

PDF Cite Code Video

(2021). OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. In IROS 2021.

PDF Cite Code Video

(2020). LambdaNet: Probabilistic Type Inference using Graph Neural Networks. In ICLR 2020.

PDF Cite Code Video