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

Posts

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.

portfolio

publications

talks

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.