Repository files navigation Jiayi's Research and Personal Projects by Area Programing Languages and Software Engineering
Coeditor : Leveraging Contextual Changes for Multi-round Code Auto-editing.
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.
STEADY : Simultaneous State Estimation and Dynamics Learning from Indirect Observations.OneVision : Centralized to Distributed Controller Synthesis.
Takode : Web & Mobile UI for Orchestrating Teams of Agents.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 heuristic (non–machine learning) algorithm that synthesizes realistic handwritten text from plain input.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.
You can’t perform that action at this time.