Publications

. Singularity: Pattern Fuzzing for Worst Case Complexity. In FSE’18, 2018.

PDF Code Video

Software

Singularity

An automated pattern fuzzing framework for determining the worst-case complexity of a given application

AscendRec

A new algorithm for synthesizing strongly-typed recursive programs from input-output examples

Muse

An English handwriting synthesizer that can turn plain text into stylish writings and display them as animations

Old Gallery

Other projects I worte back in undergraduate

Contact