Jiayi's Research and Personal Projects by Area

Programing Languages and Software Engineering

• Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing.
  • Coeditor VSCode Extension: AI-powered code editing assistant.
• TypeT5: Seq2seq Type Inference using Static Analysis and CodeT5.
• LambdaNet: Probabilistic Type Inference for Javascript using Graph Neural Networks.
• Singularity: Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis.
• Escher-Scala: Recursive Program Synthesis using input-output examples.
• LazyLang: A Haskell-style lazy-evaluation language in 500 lines of Scala code, using Monad Transformers.
• TensorSafe: A Scala tensor/matrix library that encodes tensor shapes using type-level programming.

Robotics

• STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
• OneVision: Centralized to Distributed Controller Synthesis.

Miscellaneous

• SimpleTypePrint.jl: Display Julia types in a more human-friendly way.
• SmartAsserts.jl: A drop-in replacement of the @assert macro that prints out additional information upon failure.
• Muse: A novel algorithm to turn plain texts into stylish handwritings.
• textVary: An essay writer that detects repeating phrases.
• LensTrace: A ray tracer written in Scala, featuring dispersion effects.
• CAS-scala: A simple Computer Algebra System written in Scala with 2D formula rendering.