Min-Hsien Weng

According to our database, Min-Hsien Weng authored at least 4 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Automatic proofs of memory deallocation for a Whiley-to-C Compiler.

Min-Hsien Weng, Robi Malik, Mark Utting

Formal Methods Syst. Des., 2021

2017

Static techniques for reducing memory usage in the C implementation of whiley programs.

Min-Hsien Weng, Bernhard Pfahringer, Mark Utting

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2015

Bound Analysis for Whiley Programs.

Min-Hsien Weng, Mark Utting, Bernhard Pfahringer

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

2013

The JStar language philosophy.

Mark Utting, Min-Hsien Weng, John G. Cleary

Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013