vancir.github.io - Song Liu

Description: A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.

jekyll (1529) portfolio-website (1277) academic-website (998) jekyll-theme (911)

Example domain paragraphs

I am a first-year Ph.D. student at Penn State University , advised by Prof. Hong Hu . Before joining Penn State University, I obtained my Bachelor’s degree from Xiamen University. My research interests include Software and System Security.

Database management system (DBMS) is a critical component of modern data-intensive applications. Developers adopt many testing techniques to detect and fix DBMS bugs such as crashes and assertion failures. However, most of the previous efforts cannot detect logical bugs that render the DBMS returns incorrect results. Recent work proposed several oracles to identify incorrect results, but they rely on rule-based expression generation to synthesize queries without any guidance. In this paper, we propose to co

I am a second-year Ph.D. student at Penn State University , advised by Prof. Hong Hu . Before joining Penn State University, I obtained my Bachelor’s degree from Xiamen University and worked at QI-ANXIN Technology Research Institute for three years. My research interests include Software and System Security.

Links to vancir.github.io (1)