Browsing by Supervisor "Utting, Mark"

Now showing items 1-4 of 4

  • 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 ...
  • 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 ...
  • Parallelization of JStar Programs on a Distributed Computer

    Crosby, Simon Graeme (University of Waikato, 2012)
    In the past, the performance of sequential programs grew exponentially as the performance of CPUs increased with Moore’s Law. Since 2005 however, performance improvements have come in the form of more parallel CPU cores. ...
  • Patterns of Change: Can modifiable software have high coupling?

    Taube-Schock, Craig (University of Waikato, 2012)
    There are few aspects of modern life that remain unaffected by software, and as our day-to-day challenges change, so too must our software. Software systems are complex, and as they grow larger and more interconnected, ...