Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About Me
About me
Page not in menu
This is a page not in th emain menu
Posts
Some thoughts after internship
Published:
I can’t believe how fast time flies, but today I have to say goodbye to everyone at MPI-SP as it marks the official end of my 4-month internship in Marcel’s group. First and foremost, I want to extend my deepest thanks to Marcel for giving me this incredible opportunity. Together, we worked on a new vulnerability-oriented path search strategy Vital (where we suggest using type unsafe pointers to approximate the vulnerability behavior of a path and utilize a new unsafe pointer-guided Monte Carlo Tree Search algorithm to navigate vulnerability-oriented path searches) and began exploring structural input generation for symbolic execution (ongoing work).
Notes of QE Reading List Papers
Published:
This page records the summary and my own understanding of each paper in PhD reading list for QE.
portfolio
My Chinese Website
Published:
Compiler Testing Journey
Published:
publications
talks
Boosted Symbolic Execution for Software Reliability and Security
Published:
The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.