Min-Hsien Weng

Orcid: 0000-0003-2334-1863

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Automatic proofs of memory deallocation for a Whiley-to-C Compiler.
Formal Methods Syst. Des., 2021

2017
Static techniques for reducing memory usage in the C implementation of whiley programs.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

2015
Bound Analysis for Whiley Programs.
Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

2014
The JStar language philosophy.
Parallel Comput., 2014


  Loading...