Yuantian Ding

icon indicating a website link https://yuantianding.github.io

icon company Purdue University icon location Lafayette, IN icon location PhD Student at Purdue, Program Synthesis.

Results 2 comments of Yuantian Ding

OS Tutorial Summer of Code 2020 每日学习实践过程记录 repositories links

https://github.com/DnailZ/os-tutorial-summer-of-code

SyGuS Problems

I'm sorry for this issue. When I started developing `dryadsynth-bv`, I researched many different ways of solving bit-vector synthesis problems. Many of those don't support full grammar, so theoretically, it...