title: Efficient compilation of a verification-friendly programming language

authors: Weng, Min-Hsien

subjects: Optimizing Compiler, Program Efficiency, Static Analysis, Formal Verification, Parallel Programming

abstract: 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 and a code generator to and faster integer types, eliminate unnecessary array copies and de-allocate unused memory without garbage collection, so that Whiley programs can be translated into C code to run fast and for long periods on general operating systems as well as limited-resource embedded devices. We also present manual and automatic proofs to verify memory safety of our implementations, and benchmark on a variety of test cases for practical use. Our benchmark results show that, in our test suite, our compiler effectively reduces the time complexity to the lowest possible level and stops all memory leaks without causing double-freeing problems. The performance of implementations can be further improved by choosing proper integer types within the ranges and exploiting parallelism in the programs.

text: Efficient compilation of a verification-friendly programming language 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 and a code generator to and faster integer types, eliminate unnecessary array copies and de-allocate unused memory without garbage collection, so that Whiley programs can be translated into C code to run fast and for long periods on general operating systems as well as limited-resource embedded devices. We also present manual and automatic proofs to verify memory safety of our implementations, and benchmark on a variety of test cases for practical use. Our benchmark results show that, in our test suite, our compiler effectively reduces the time complexity to the lowest possible level and stops all memory leaks without causing double-freeing problems. The performance of implementations can be further improved by choosing proper integer types within the ranges and exploiting parallelism in the programs.

year: 2019

title: Developing non-verbal ways of knowing in dance: Collaborative school / university action research.

authors: Henderson, Clare L.

subjects: dance education

abstract: Gardner (1983, 1993) has long argued that education privileges certain intelligences, primarily the linguistic and the logical-mathematical. As the arts tend to emphasise ways of knowing outside these intelligences, their marginalised status is exacerbated. A recent two-year project in eight primary schools on dance, drama, music and visual art found that the non-verbal aspects of each art form warranted serious attention to investigate what it means to learn in the arts. In this paper we describe and discuss the results of an aspect of action research in dance from this larger research project. We demonstrate how movement can be used as the primary expressive mode of communication, as opposed to privileging the spoken word. Through the use of powerpoint and video, we provide an intriguing and innovative model for providing non-verbal feedback and feed forward in the dance classroom.

text: Developing non-verbal ways of knowing in dance: Collaborative school / university action research. Gardner (1983, 1993) has long argued that education privileges certain intelligences, primarily the linguistic and the logical-mathematical. As the arts tend to emphasise ways of knowing outside these intelligences, their marginalised status is exacerbated. A recent two-year project in eight primary schools on dance, drama, music and visual art found that the non-verbal aspects of each art form warranted serious attention to investigate what it means to learn in the arts. In this paper we describe and discuss the results of an aspect of action research in dance from this larger research project. We demonstrate how movement can be used as the primary expressive mode of communication, as opposed to privileging the spoken word. Through the use of powerpoint and video, we provide an intriguing and innovative model for providing non-verbal feedback and feed forward in the dance classroom.

year: 2007

title: Walking into the past to explore the future: Utulizing larval densities to measure the effects of two climate change factors, temperature and salinity on Poorohe (common smelt, Retropinna retropinna) abundance in Te Puuaha o Waikato

authors: Robcke, Sidney

subjects: Common smelt

abstract: Poorohe (common smelt, Retropinna retropinna) are a highly valued kai species in Te Puuaha o Waikato (the lower 66 km of the Waikato River). Fisher whaanau have observed changes in the amount Poorohe that are harvested during annual fish harvests. Since Poorohe are particularly vulnerable to environmental changes, whaanau are particularly concerned about the how climate change might impact Poorohe populations. Climate change vulnerability assessments (CCVA) currently exist for several native New Zealand fish freshwater species; however, one does not yet exist for Poorohe. Previous larval distribution studies in the lower Waikato River only sampled as far downstream as Tuakau bridge (approximately 45km from the river mouth). These studies indicated that important spawning habitats likely existed downstream of Tuakau bridge. Temperature increases and saltwater intrusion have been identified as two climate change factors that will likely impact Poorohe in Te Puuaha o Waikato, because ambient temperatures have increased since the industrial revolution and the proximity of the study area to the ocean. A literature review was used to explore the experiences of fisher whaanau through the past, present and how the experiences will continue to change in a changing climate. The effects of temperature and saltwater intrusion on Poorohe populations were explored through replicating the methods of past research carried out in the 1980s and 2010s. Current river temperatures are in the optimal temperature range (12°C - 18°C) for Poorohe spawning. The saltwater wedge was suppressed by the high river flow during the eight-week sampling period, and it is unclear whether saltwater intrusion has an impact on Poorohe spawning. Larval densities did not significantly increase down river, which suggests large spawning habitat is not found downstream of Tuakau bridge. Furthermore, there were no decreases in larval densities in the two saltwater sites. This study has contributed to the available literature necessary to develop a CCVA for Poorohe and explored the cultural heritage of traditionally significant practices in Te Puuaha o Waikato relating to Poorohe.

text: Walking into the past to explore the future: Utulizing larval densities to measure the effects of two climate change factors, temperature and salinity on Poorohe (common smelt, Retropinna retropinna) abundance in Te Puuaha o Waikato Poorohe (common smelt, Retropinna retropinna) are a highly valued kai species in Te Puuaha o Waikato (the lower 66 km of the Waikato River). Fisher whaanau have observed changes in the amount Poorohe that are harvested during annual fish harvests. Since Poorohe are particularly vulnerable to environmental changes, whaanau are particularly concerned about the how climate change might impact Poorohe populations. Climate change vulnerability assessments (CCVA) currently exist for several native New Zealand fish freshwater species; however, one does not yet exist for Poorohe. Previous larval distribution studies in the lower Waikato River only sampled as far downstream as Tuakau bridge (approximately 45km from the river mouth). These studies indicated that important spawning habitats likely existed downstream of Tuakau bridge. Temperature increases and saltwater intrusion have been identified as two climate change factors that will likely impact Poorohe in Te Puuaha o Waikato, because ambient temperatures have increased since the industrial revolution and the proximity of the study area to the ocean. A literature review was used to explore the experiences of fisher whaanau through the past, present and how the experiences will continue to change in a changing climate. The effects of temperature and saltwater intrusion on Poorohe populations were explored through replicating the methods of past research carried out in the 1980s and 2010s. Current river temperatures are in the optimal temperature range (12°C - 18°C) for Poorohe spawning. The saltwater wedge was suppressed by the high river flow during the eight-week sampling period, and it is unclear whether saltwater intrusion has an impact on Poorohe spawning. Larval densities did not significantly increase down river, which suggests large spawning habitat is not found downstream of Tuakau bridge. Furthermore, there were no decreases in larval densities in the two saltwater sites. This study has contributed to the available literature necessary to develop a CCVA for Poorohe and explored the cultural heritage of traditionally significant practices in Te Puuaha o Waikato relating to Poorohe.

year: 2024-11-23