Registered user since Fri 20 Feb 2015
I am a PhD student at the Department of Computer Science at Stanford University. My advisor is Prof. Alex Aiken. I am interested in applying machine learning to program verification and compiler optimizations. Learning from program runs is an effective way to combine two complementary techniques: static analysis and testing.
|PLDI 2016|| Data-Driven Precondition Inference with Learned Features|
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Verifying Bit Manipulations of Floating-Point
|Show activities from other conferences|
View general profile