Page Not Found
Page not found. Your pixels are in another canvas.
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.
Page not found. Your pixels are in another canvas.
About me
This is a page not in th emain menu
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).
Published:
This page records the summary and my own understanding of each paper in PhD reading list for QE.
Published:
Published:
Published:
The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.