Publications

Jiayi Wei, Greg Durrett, Isil Dillig (2022). TypeT5: Seq2seq Type Inference using Static Analysis. In ICLR 2023.

PDF Cite Code Video

Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas (2022). STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. In IROS 2022.

PDF Cite Code Video

Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas (2021). OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. In IROS 2021.

PDF Cite Code Video

Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig (2020). LambdaNet: Probabilistic Type Inference using Graph Neural Networks. In ICLR 2020.

PDF Cite Code Video

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig (2018). Singularity: Pattern Fuzzing for Worst Case Complexity. In FSE 2018.

PDF Cite Code