title: Shape predicates allow unbounded verification of linearizability using canonical abstraction

authors: Friggens, David

subjects: canonical abstraction

abstract: Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

text: Shape predicates allow unbounded verification of linearizability using canonical abstraction Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

year: 2014

title: The Development of Professional Learning Communities (PLCs) in the Philippines: Roles and Views of Secondary School Principals

authors: Capili-Balbalin, Wenefe

subjects: Professional learning communities

abstract: It is widely recognised that principals play an indispensable role in the professional development of teachers in schools. In the Philippines, principals encourage teachers to participate in the traditional and most common approach to professional development such as conferences, seminars, workshops, and training. Despite documented benefits of these traditional approaches to teacher professional development, recent studies show that many teachers find them insufficient, inconsistent, and sometimes they do not necessarily address teachers’ classroom needs. There is a growing body of literature that recognises the importance of teacher engagement through professional learning communities (PLCs) as a new approach to teacher professional development. Unlike traditional approaches to teacher professional development, PLCs redefine professional development from programmes that regard teachers as passive learners to programmes that regard teachers as active learners who are responsible for their own professional growth.  The study explored the roles and perspectives of secondary school principals in the development of PLCs in the Philippines. It is an underlying assumption that principals’ understanding of their roles in the implementation of teacher professional development policies in schools is central to the formation of PLCs. This raised two important questions that principals needed to contemplate: How did they view and implement national policies on teacher professional development in the school level? And, how did they perceive and establish PLCs in their schools?  The study utilised a qualitative research methodology based on an interpretive paradigm. Through the use of semi-structured interviews alongside policy analysis, three main themes emerged: lack of continuing teacher professional development programmes in the Philippines; varying views of principals in the development of PLCs in schools; and, effective leadership styles as key to support continuing professional development of teachers. The lack of continuing teacher professional development programmes suggests that principals in the study failed to establish PLCs in their schools. This offers some important insights on the leadership experiences of principals in the implementation of national policies on professional development and how it affects their roles in supporting teachers’ continuing professional development. The study also reinforces theories around strong influence of school leadership in the formation of PLCs, particularly in developing countries such as the Philippines. This is an important issue for future work, as top-down leadership continuously predominates in school organisations in the Philippines. Further work is recommended to investigate the implications of this for the confidence level of principals in their leadership in the context of secondary schools in the Philippines.

text: The Development of Professional Learning Communities (PLCs) in the Philippines: Roles and Views of Secondary School Principals It is widely recognised that principals play an indispensable role in the professional development of teachers in schools. In the Philippines, principals encourage teachers to participate in the traditional and most common approach to professional development such as conferences, seminars, workshops, and training. Despite documented benefits of these traditional approaches to teacher professional development, recent studies show that many teachers find them insufficient, inconsistent, and sometimes they do not necessarily address teachers’ classroom needs. There is a growing body of literature that recognises the importance of teacher engagement through professional learning communities (PLCs) as a new approach to teacher professional development. Unlike traditional approaches to teacher professional development, PLCs redefine professional development from programmes that regard teachers as passive learners to programmes that regard teachers as active learners who are responsible for their own professional growth.  The study explored the roles and perspectives of secondary school principals in the development of PLCs in the Philippines. It is an underlying assumption that principals’ understanding of their roles in the implementation of teacher professional development policies in schools is central to the formation of PLCs. This raised two important questions that principals needed to contemplate: How did they view and implement national policies on teacher professional development in the school level? And, how did they perceive and establish PLCs in their schools?  The study utilised a qualitative research methodology based on an interpretive paradigm. Through the use of semi-structured interviews alongside policy analysis, three main themes emerged: lack of continuing teacher professional development programmes in the Philippines; varying views of principals in the development of PLCs in schools; and, effective leadership styles as key to support continuing professional development of teachers. The lack of continuing teacher professional development programmes suggests that principals in the study failed to establish PLCs in their schools. This offers some important insights on the leadership experiences of principals in the implementation of national policies on professional development and how it affects their roles in supporting teachers’ continuing professional development. The study also reinforces theories around strong influence of school leadership in the formation of PLCs, particularly in developing countries such as the Philippines. This is an important issue for future work, as top-down leadership continuously predominates in school organisations in the Philippines. Further work is recommended to investigate the implications of this for the confidence level of principals in their leadership in the context of secondary schools in the Philippines.

year: 2017

title: Harakeke: Enhancing Māori Student Engagement and Achievement in a Mainstream Primary School

authors: Anderson, Diana

subjects: Harakeke

abstract: Ministry of Education research indicates that the inclusion of culture and te reo
Māori in teaching can help improve Māori student education. If students can find
the links between what is being taught and the relevance to their own lives then
information will be easier to retain. Research has also shown that environmental
education provides relevant learning that can connect students to their world.
Māori indigenous knowledge (IK) and environmental education (EE) share many
commonalities. One such similarity is the relationship between tangata (people)
and nature. While the sometimes destructive nature of this relationship has lead to
global environmental issues, this study explores the combination of IK and EE to
enhance Māori student engagement and achievement in a mainstream primary
school.
An intervention unit based on harakeke was designed delivered in a Year 5/6
boys' only class in a suburban mainstream primary school, over a 10 week period.
The environmental and socio-cultural significance of harakeke enabled a range of
kaupapa (themes) to be included in the unit. This included; eeling and how to
make and use a hinaki (eel/fish trap), karakia (prayer) and the relevance when
harvesting kai (food) and resources. Each kaupapa also provided the opportunity
for students to increase their te reo Māori vocabulary, with the introduction of
kaupapa specific words. The Māori kaupapa also enabled the students to view EE
from a Māori perspective, including the introduction of rahui - a form of
conservation.
The findings indicated that the incorporation of a Māori kaupapa strengthened
student engagement, improved student use of te reo Māori, improved the selfesteem
and confidence for some students, increased students' awareness of
harakeke and the value and versatility of the plant, and increased their awareness
from a Māori perspective on sustainable harvesting.
Bringing Māori kaupapa into the classroom allowed the classroom teacher, who
was Māori, the opportunity to share her own lived experiences of IK, as these are
passed down from generation to generation, and people are born into them. The
Page | iii
familiarity of whanau offered the teacher the opportunity to bring this concept into
the classroom and teach values that could flow into all curriculum areas while
strengthening relationships between the teacher and student, student and student
and teacher and student whanau.
This study has shown that both IK and EE, while each complex in their own right,
have the ability to provide a holistic curriculum approach that can lead to
engagement and achievement by Māori students in a mainstream school.

text: Harakeke: Enhancing Māori Student Engagement and Achievement in a Mainstream Primary School Ministry of Education research indicates that the inclusion of culture and te reo
Māori in teaching can help improve Māori student education. If students can find
the links between what is being taught and the relevance to their own lives then
information will be easier to retain. Research has also shown that environmental
education provides relevant learning that can connect students to their world.
Māori indigenous knowledge (IK) and environmental education (EE) share many
commonalities. One such similarity is the relationship between tangata (people)
and nature. While the sometimes destructive nature of this relationship has lead to
global environmental issues, this study explores the combination of IK and EE to
enhance Māori student engagement and achievement in a mainstream primary
school.
An intervention unit based on harakeke was designed delivered in a Year 5/6
boys' only class in a suburban mainstream primary school, over a 10 week period.
The environmental and socio-cultural significance of harakeke enabled a range of
kaupapa (themes) to be included in the unit. This included; eeling and how to
make and use a hinaki (eel/fish trap), karakia (prayer) and the relevance when
harvesting kai (food) and resources. Each kaupapa also provided the opportunity
for students to increase their te reo Māori vocabulary, with the introduction of
kaupapa specific words. The Māori kaupapa also enabled the students to view EE
from a Māori perspective, including the introduction of rahui - a form of
conservation.
The findings indicated that the incorporation of a Māori kaupapa strengthened
student engagement, improved student use of te reo Māori, improved the selfesteem
and confidence for some students, increased students' awareness of
harakeke and the value and versatility of the plant, and increased their awareness
from a Māori perspective on sustainable harvesting.
Bringing Māori kaupapa into the classroom allowed the classroom teacher, who
was Māori, the opportunity to share her own lived experiences of IK, as these are
passed down from generation to generation, and people are born into them. The
Page | iii
familiarity of whanau offered the teacher the opportunity to bring this concept into
the classroom and teach values that could flow into all curriculum areas while
strengthening relationships between the teacher and student, student and student
and teacher and student whanau.
This study has shown that both IK and EE, while each complex in their own right,
have the ability to provide a holistic curriculum approach that can lead to
engagement and achievement by Māori students in a mainstream school.

year: 2009