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 ...