The JStar language philosophy. - Mark Utting; Min-Hsien Weng; John G. Cleary (Parallel Comput., 2014)

Bound Analysis for Whiley Programs. - Min-Hsien Weng; Mark Utting; Bernhard Pfahringer (USE@FM, 2015)

Static techniques for reducing memory usage in the C implementation of whiley programs. - Min-Hsien Weng; Bernhard Pfahringer; Mark Utting (ACSW, 2017)

Automatic proofs of memory deallocation for a Whiley-to-C Compiler. - Min-Hsien Weng; Robi Malik; Mark Utting (Formal Methods Syst. Des., 2021)