ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence. - Haoxi Tan; Mahin Chandramohan; Cristina Cifuentes; Guangdong Bai; Ryan K. L. Ko (CoRR, 2021)

On Leveraging Tests to Infer Nullable Annotations. - Jens Dietrich 001; David J. Pearce 001; Mahin Chandramohan (ECOOP, 2023)