Slides of drop-stones
Lecture Materials
Garbage Collection Ch.7-b
Garbage Collection Ch.3-b
Model Checking Ch.4
Virtual Machines Ch.4
Virtual Machines Ch.2
Research
FSAM[CGO'16]
夏ゼミ 2022
DG[Software Impacts'20]
研究紹介 2022
冬ゼミ 2022-01-06
Canary[PLDI'21]
PhASAR[TACAS'19]
夏ゼミ 2021-09-22
Survey
SANRAZOR[OSDI'21]
DynPTA[SP'21]
KENALI[NDSS'16]
ASAP[SP'15]