Jiayi Wei
Jiayi Wei
Home
Publications
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Date
2023
2022
2021
2020
2018
Jiayi Wei
,
Greg Durrett
,
Isil Dillig
(2023).
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
. In
ICLR 2024 (Spotlight paper)
.
PDF
Cite
Code
Video
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
Cite
×