title: Dynamic property enforcement in programmable data planes

authors: Neves, Miguel

abstract: Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and misconfigurations. Network verification tools have been proposed as a means of ensuring that the network behaves as expected, but these tools frequently face severe scalability issues. In this paper, we argue for a novel approach to this problem. Rather than statically inspecting a network configuration looking for bugs, we propose to enforce networking properties at runtime. To this end, we developed P4box, a system for deploying runtime monitors in programmable data planes. P4box allows programmers to easily express a broad range of properties (both program-specific and network-wide). Moreover, we provide an automated framework based on assertions and symbolic execution for ensuring monitor correctness. Our experiments on a SmartNIC show that P4box monitors represent a small overhead to network devices in terms of latency, throughput and power consumption.

text: Dynamic property enforcement in programmable data planes Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and misconfigurations. Network verification tools have been proposed as a means of ensuring that the network behaves as expected, but these tools frequently face severe scalability issues. In this paper, we argue for a novel approach to this problem. Rather than statically inspecting a network configuration looking for bugs, we propose to enforce networking properties at runtime. To this end, we developed P4box, a system for deploying runtime monitors in programmable data planes. P4box allows programmers to easily express a broad range of properties (both program-specific and network-wide). Moreover, we provide an automated framework based on assertions and symbolic execution for ensuring monitor correctness. Our experiments on a SmartNIC show that P4box monitors represent a small overhead to network devices in terms of latency, throughput and power consumption.

year: 2021

title: The effect of guided note taking during lectures on Thai university students’ understanding of electromagnetism

authors: Narjaikaew, Pattawan

subjects: guided note taking

abstract: This paper reports on the implementation of a guided note taking strategy to promote Thai students' understanding of electromagnetism during a lecture course. The aim of the study was to enhance student learning of electromagnetism concepts. The developed guided notes contain quotations, diagrams, pictures, problems, and blank spaces to encourage student interactive engagement with the lectures. The guided note templates were critiqued by a group of experienced university physics lecturers and piloted with graduate physics education students to check the content validity. Over 300 first year university students (aged about 18-19 years) attended lectures that did not involve guided note taking. Six hundred students participated in the guided note taking approach. Students' understanding of electromagnetism was investigated using a conceptual test. Comparison of the pre- and post-test results of the two groups of students indicated that students who were involved in the guided note taking approach performed better on the conceptual test than students who were not involved in this approach. From interviews, it was found that students viewed the guided note taking approach as a supportive tool that helped them concentrate on the lecture. Promoting student involvement in the lecture class through the process of guided note taking was shown to be a meaningful learning strategy for first year university physics classes.

text: The effect of guided note taking during lectures on Thai university students’ understanding of electromagnetism This paper reports on the implementation of a guided note taking strategy to promote Thai students' understanding of electromagnetism during a lecture course. The aim of the study was to enhance student learning of electromagnetism concepts. The developed guided notes contain quotations, diagrams, pictures, problems, and blank spaces to encourage student interactive engagement with the lectures. The guided note templates were critiqued by a group of experienced university physics lecturers and piloted with graduate physics education students to check the content validity. Over 300 first year university students (aged about 18-19 years) attended lectures that did not involve guided note taking. Six hundred students participated in the guided note taking approach. Students' understanding of electromagnetism was investigated using a conceptual test. Comparison of the pre- and post-test results of the two groups of students indicated that students who were involved in the guided note taking approach performed better on the conceptual test than students who were not involved in this approach. From interviews, it was found that students viewed the guided note taking approach as a supportive tool that helped them concentrate on the lecture. Promoting student involvement in the lecture class through the process of guided note taking was shown to be a meaningful learning strategy for first year university physics classes.

year: 2009

title: Making sense of Te Whāriki a te Kōhanga Reo through toi Māori: A whānau approach

authors: McMillan, Hoana

abstract: The involvement of whānau in the teaching and learning process is important at every juncture of a child’s educational journey. Rich understanding of the curriculum enables whānau to make deep and meaningful contributions to discussions about their child’s development. It also presents an interesting challenge for educational settings to create opportunities for whānau to increase their knowledge of the curriculum. This article outlines the benefits of a toi Māori approach to support whānau understanding.

text: Making sense of Te Whāriki a te Kōhanga Reo through toi Māori: A whānau approach The involvement of whānau in the teaching and learning process is important at every juncture of a child’s educational journey. Rich understanding of the curriculum enables whānau to make deep and meaningful contributions to discussions about their child’s development. It also presents an interesting challenge for educational settings to create opportunities for whānau to increase their knowledge of the curriculum. This article outlines the benefits of a toi Māori approach to support whānau understanding.

year: 2023