Now showing items 1-5 of 5

  • 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 ...
  • The JStar language philosophy

    Utting, Mark; Weng, Min-Hsien; Cleary, John G. (University of Waikato, Department of Computer Science, 2013-11-11)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, en-couraging massively parallel programming, and giving the compiler ...
  • The JStar language philosophy

    Utting, Mark; Weng, Min-Hsien; Cleary, John G. (Association for Computing Machinery (ACM), 2013)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler ...
  • Static techniques for reducing memory usage in the C implementation of Whiley programs

    Weng, Min-Hsien; Pfahringer, Bernhard; Utting, Mark (ACM, 2017)
    Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But effcient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how ...

Min-Hsien Weng has 3 co-authors in Research Commons.