title: Harmonies of the universe

authors: Taylor, Simon

abstract: Harmonies of the Universe - Physics and Music with Dr Simon Taylor. Presented on Monday 26 May 2025, University of Waikato, Tauranga campus. 

There were episodes of live music to accompany the lecture. An evening where both worlds met, and a wonderful opportunity to discuss the connections and explore:
• Musical Intervals and Physics
• Natural Frequencies in Nature
• Cultural Perspectives

text: Harmonies of the universe Harmonies of the Universe - Physics and Music with Dr Simon Taylor. Presented on Monday 26 May 2025, University of Waikato, Tauranga campus. 

There were episodes of live music to accompany the lecture. An evening where both worlds met, and a wonderful opportunity to discuss the connections and explore:
• Musical Intervals and Physics
• Natural Frequencies in Nature
• Cultural Perspectives

year: 2025

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: Restoring Indigneous Law and Justice Traditions

authors: Cook, Michelle Lynn

subjects: Indigenous peoples

abstract: Restoring indigenous people's law and their ability to practice their justice traditions is a fundamental aspect of non-discrimination, decolonization, self-governance, self-determination, and social justice. The critical application and interpretation of indigenous people's law has revolutionary potentiality to transform, confront, and heal multiple forms of oppression such as environmental destruction, patriarchy, and the prison/criminal justice system. The sovereign jurisgenerative (law making) power of indigenous peoples is a site of profound hope for the revitalization of indigenous law and justice traditions restores legal principles and values of sacredness, harmony, balance, and interconnectivity within human relationships and with the natural world. Revitalizing indigenous law is a way to re-construct the self and society while also finding and re-connecting to new/old ways of being human. This thesis focuses on both Navajo and Māori practices and visions of law and justice; the challenges and, successes they have faced and the hopes they have of living by their law. Indigenous peoples, their ways of being, their wisdom, laws, and philosophies, must be respected, protected, and preserved not only because they contribute to humanity's richness and cultural diversity but also because they are living examples of  a more just, dignified, and ecologically sustainable society, which can serve all humanity.

text: Restoring Indigneous Law and Justice Traditions Restoring indigenous people's law and their ability to practice their justice traditions is a fundamental aspect of non-discrimination, decolonization, self-governance, self-determination, and social justice. The critical application and interpretation of indigenous people's law has revolutionary potentiality to transform, confront, and heal multiple forms of oppression such as environmental destruction, patriarchy, and the prison/criminal justice system. The sovereign jurisgenerative (law making) power of indigenous peoples is a site of profound hope for the revitalization of indigenous law and justice traditions restores legal principles and values of sacredness, harmony, balance, and interconnectivity within human relationships and with the natural world. Revitalizing indigenous law is a way to re-construct the self and society while also finding and re-connecting to new/old ways of being human. This thesis focuses on both Navajo and Māori practices and visions of law and justice; the challenges and, successes they have faced and the hopes they have of living by their law. Indigenous peoples, their ways of being, their wisdom, laws, and philosophies, must be respected, protected, and preserved not only because they contribute to humanity's richness and cultural diversity but also because they are living examples of  a more just, dignified, and ecologically sustainable society, which can serve all humanity.

year: 2010