title: Bound analysis for Whiley programs

authors: Weng, Min-Hsien

subjects: Static Analysis

abstract: 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 efficient OpenCL code with fixed-size integer types and fixed-size arrays, for parallel execution on GPUs. This paper presents an abstract interpretation-based bound inference approach along with symbolic analysis for Whiley programs. The source Whiley program is first analyzed by using our symbolic analyzer to find the matching pattern and make any necessary program transformation. Then the bound analyzer is used to analyze the transformed program to make use of primitive integer types rather than third-party infinite integer type (e.g. using GMP arbitrary precision library). The bound analysis results provide conservative estimates of the ranges of integer variables and array sizes so that efficient code can be generated and integer overflows avoided. The bound analyzer combines the bound consistency technique along with a widening operator to give fast time of solving program constraints and of converging to the fixed point. Several example programs are used to illustrate the bound analyzer algorithm and the program transformation.

text: Bound analysis for Whiley programs 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 efficient OpenCL code with fixed-size integer types and fixed-size arrays, for parallel execution on GPUs. This paper presents an abstract interpretation-based bound inference approach along with symbolic analysis for Whiley programs. The source Whiley program is first analyzed by using our symbolic analyzer to find the matching pattern and make any necessary program transformation. Then the bound analyzer is used to analyze the transformed program to make use of primitive integer types rather than third-party infinite integer type (e.g. using GMP arbitrary precision library). The bound analysis results provide conservative estimates of the ranges of integer variables and array sizes so that efficient code can be generated and integer overflows avoided. The bound analyzer combines the bound consistency technique along with a widening operator to give fast time of solving program constraints and of converging to the fixed point. Several example programs are used to illustrate the bound analyzer algorithm and the program transformation.

year: 2015

title: Integrating Interactive Digital Maps into a Digital Library

authors: McIntosh, Samuel John

subjects: digital library

abstract: Digital libraries and digital maps are two fast-growing technologies in the world
of computing. In this thesis we have explored using digital maps to enhance
the functionality of digital libraries. The Greenstone 3 digital library system
was augmented though the use of the digital mapping system, Google Maps.
An automatic place name recognition and disambiguation system was created
to obtain geographical information from documents as they were viewed. This
extracted information was presented as a map with markers showing the location
of the places within the text of the document.
We evaluated the system by performing a user study and an analysis of the
speed, efficiency and accuracy of the place name recognition and disambiguation
system. Participants in the user study completed most of the tasks easily
and made comments expressing their satisfaction with the system. Analysis
of the place recognition and disambiguation system was also positive, as the
system was fast, relatively efficient and was highly accurate.

text: Integrating Interactive Digital Maps into a Digital Library Digital libraries and digital maps are two fast-growing technologies in the world
of computing. In this thesis we have explored using digital maps to enhance
the functionality of digital libraries. The Greenstone 3 digital library system
was augmented though the use of the digital mapping system, Google Maps.
An automatic place name recognition and disambiguation system was created
to obtain geographical information from documents as they were viewed. This
extracted information was presented as a map with markers showing the location
of the places within the text of the document.
We evaluated the system by performing a user study and an analysis of the
speed, efficiency and accuracy of the place name recognition and disambiguation
system. Participants in the user study completed most of the tasks easily
and made comments expressing their satisfaction with the system. Analysis
of the place recognition and disambiguation system was also positive, as the
system was fast, relatively efficient and was highly accurate.

year: 2010

title: Te Pūtahitanga: A Tiriti-led science-policy approach for Aotearoa New Zealand

authors: Kukutai, Tahu

abstract: This paper examines the interface between science and policymaking and calls for a policy approach that is enabled by, and responsive to, Te Tiriti o Waitangi and Mātauranga Māori. For a science sector to have its greatest reach and impact for all citizens, it must demonstrate relevance, accessibility and inclusion. In Aotearoa, there has been concern about the exclusion of Māori and Pacific expertise from science advice and key decision-making roles. Te Tiriti offers a powerful framework for connecting systems and communities of knowledge in ways that are mutually beneficial and future focused.

text: Te Pūtahitanga: A Tiriti-led science-policy approach for Aotearoa New Zealand This paper examines the interface between science and policymaking and calls for a policy approach that is enabled by, and responsive to, Te Tiriti o Waitangi and Mātauranga Māori. For a science sector to have its greatest reach and impact for all citizens, it must demonstrate relevance, accessibility and inclusion. In Aotearoa, there has been concern about the exclusion of Māori and Pacific expertise from science advice and key decision-making roles. Te Tiriti offers a powerful framework for connecting systems and communities of knowledge in ways that are mutually beneficial and future focused.

year: 2021-04-28