James‘s PhD work on “Using Safety Properties to Generate Vulnerability Patches” has been accepted for publication at the IEEE Symposium on Security and Privacy (aka Oakland) 2019. We will have the pre-print up soon. Congratulations James!