Kevin Cheang
发表
K. Asanović,
S. Seshia,
David Kohlbrenner,
2022,
ArXiv.
Sam Blackshear,
Wolfgang Grieskamp,
Clark Barrett,
2020,
CAV.
Sanjit A. Seshia,
Pramod Subramanyan,
Kevin Cheang,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Yatin A. Manerkar,
S. Seshia,
Adwait Godbole,
2024,
ASPLOS.
Yatin A. Manerkar,
S. Seshia,
Federico Mora,
2022,
CAV.