Posts by Tags

research

Some thoughts after internship

3 minute read

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

12 minute read

Published:

This page records the summary and my own understanding of each paper in PhD reading list for QE.

thinking

Some thoughts after internship

3 minute read

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

12 minute read

Published:

This page records the summary and my own understanding of each paper in PhD reading list for QE.