M.S.
Semantic Analysis of Programs using Graph Neural Networks
Aayan Kumar [2022]
Neural-Backed Generators for Program Synthesis
Rohan Bavishi [2019]
TreeRegex: An Extension to Regular Expressions for Matching and Manipulating Tree-Structured Text (Technical Report)
Benjamin Mehne [2017]
A Dynamic Analysis for Tuning Floating-point Precision
Cuong Nguyen [2015]
5th Year M.S.
YouVerify: An Intermediate Representation and Framework for Symbolic Execution
Griffin Prechter [2021]