A Framework for Automatic Exploit Generation for JIT Compilers. - Xiyu Kang; Saumya Debray (Checkmate@CCS, 2021)

Modeling code manipulation in JIT compilers. - HeuiChan Lim; Xiyu Kang; Saumya Debray (SOAP@PLDI, 2022)