FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
A Datalog compiler that turns Soufflé style programs into Differential Dataflow executables for efficient and extensible static analysis.
Department of Computer Sciences, University of Wisconsin-Madison
I am a third-year PhD student, fortunately advised by Prof. Paraschos Koutris at UW-Madison Database Group. My research focuses on query optimization.
Prior to joining UW-Madison, I received my B.E. in Computer Science from Xi'an Jiaotong University, through Honors Youth Program.
Publications
Beyond Research
When I'm not debugging queries, this is what I'm listening to.