Browsing by Author "Weng, Min-Hsien"
Now showing items 1-5 of 11
-
AI augmented approach to identify shared ideas from large format public consultation
Weng, Min-Hsien; Wu, Shaoqun; Dyer, Mark (MDPI AG, 2021)Public data, contributed by citizens, stakeholders and other potentially affected parties, are becoming increasingly used to collect the shared ideas of a wider community. Having collected large quantities of text data ... -
Automatic Parallelization of Data-Driven JStar Programs
Weng, Min-Hsien (University of Waikato, 2013)Data-driven problems have common characteristics: a large number of small objects with complex dependencies. This makes the traditional parallel programming approaches more difficult to apply as pipe-lining the task ... -
Bound analysis for Whiley programs
Weng, Min-Hsien; Utting, Mark; Pfahringer, Bernhard (Elsevier, 2015)The Whiley compiler can generate naive C code, but the code is inefficient because it uses infinite integers and dynamic array sizes. Our project goal is to build up a compiler that can translate Whiley programs into ... -
Convergence of public participation, participatory design and NLP to co-develop circular economy
Dyer, Mark; Wu, Shaoqun; Weng, Min-Hsien (Springer Science and Business Media LLC, 2021)The concept of a circular economy is at a crossroads. To date, it has been largely driven by top-down national or trans-national legislation such as EU Circular Economy Package or Chinese Circular Economy Promotion. Bottom-up ... -
Efficient compilation of a verification-friendly programming language
Weng, Min-Hsien (The University of Waikato, 2019)This thesis develops a compiler to convert a program written in the verification friendly programming language Whiley into an efficient implementation in C. Our compiler uses a mixture of static analysis, run-time monitoring ...
Co-authors for Min-Hsien Weng
Min-Hsien Weng has 13 co-authors in Research Commons.