Verified tensor-program optimization via high-level scheduling rewrites

We present a lightweight Coq framework for optimizing tensor kernels written in a pure, functional array language. Optimizations rely on user scheduling using series of verified, semantics-preserving rewrites. Unusually for compilation targeting imperative code with arrays and nested loops, all rewrites are source-to-source within a purely functional language. Our language comprises a set of core constructs for expressing high-level computation detail and a set of what we call reshape operators, which can be derived from core constructs but trigger low-level decisions about storage patterns and ordering. We demonstrate that not only is this system capable of deriving the optimizations of existing state-of-the-art languages like Halide and generating comparably performant code, it is also able to schedule a family of useful program transformations beyond what is reachable in Halide.

Te Reo Maori as a Language of New Zealand Law: The Attainment of Civic Status

<p>In July 2011 the Waitangi Tribunal released Wai 262, its report on the indigenous flora and fauna claim. In the report, the Tribunal signalled "a deep-seated fear for the survival of te reo" and found that the language was in a state of "renewed decline". To date, revitalisation initiatives have focussed largely on stemming language decline in the community. Comparatively little attention has been given to the need to develop te reo Māori in the civic life of the state; in particular, as a language of law and legal process. This dissertation argues that if te reo Māori is to survive in the 21st century, it must develop as a fully functional language of New Zealand law. This dissertation critiques the domestic and international instruments that protect the right to use te reo Māori in civic contexts, and identifies three developments that are necessary for te reo Māori to achieve full functionality as a legal language. The first is the provision of an unqualified right to use Māori in the law-making process. The second is the use of Māori in the substantive enactment of law. The third is a principled and consistent approach to drafting and interpreting Māori words and provisions in statutes.</p>

Te Reo Maori as a Language of New Zealand Law: The Attainment of Civic Status

<p>In July 2011 the Waitangi Tribunal released Wai 262, its report on the indigenous flora and fauna claim. In the report, the Tribunal signalled "a deep-seated fear for the survival of te reo" and found that the language was in a state of "renewed decline". To date, revitalisation initiatives have focussed largely on stemming language decline in the community. Comparatively little attention has been given to the need to develop te reo Māori in the civic life of the state; in particular, as a language of law and legal process. This dissertation argues that if te reo Māori is to survive in the 21st century, it must develop as a fully functional language of New Zealand law. This dissertation critiques the domestic and international instruments that protect the right to use te reo Māori in civic contexts, and identifies three developments that are necessary for te reo Māori to achieve full functionality as a legal language. The first is the provision of an unqualified right to use Māori in the law-making process. The second is the use of Māori in the substantive enactment of law. The third is a principled and consistent approach to drafting and interpreting Māori words and provisions in statutes.</p>

P.066 Hemispheric Reorganization of Functional Language Networks Following Neonatal Stroke Supports Language Outcome

Background: Neonatal Arterial Ischemic Stroke (NAIS) is a common form of paediatric stroke often affecting classical language areas. The post-stroke reorganization of functional language networks may provide insight into later-emerging language deficits and may help to identify at-risk children with NAIS. Methods: A cross-sectional study of fourteen children with left (n=8; 2M; 11.1±2.2 years) or right (n=6; 3M; 12.4±4 years) middle cerebral artery (MCA) NAIS, as well as seven neurotypical children (5M; 13.4±2.7 years), was conducted. Children listened to correct/incorrect syntactic sentences while MEG was recorded, and task-related functional connectivity in the time window and frequency band of interest was determined. Language outcomes were assessed using a battery of neuropsychological tests. Results: A network-based analysis of syntactic language processing (4-7 Hz, 1.2-1.4s) revealed a dysfunctional bilateral frontal-temporal network involving language areas in patients (p=0.01). Patients with right-MCA stroke exhibited a positive correlation between left hemispheric connectivity and measures of language skill (p<0.01), resembling the neurotypical children. In left-MCA stroke patients, greater bilateral connectivity or right laterality in the language network is correlated with good outcome (p<0.05). Conclusions: Depending on the hemispheric location of stroke, certain patterns of language network reorganization may account for impairments in a bilateral frontal-temporal language subnetwork and support language outcome.

A type system for extracting functional specifications from memory-safe imperative programs

Verifying imperative programs is hard. A key difficulty is that the specification of what an imperative program does is often intertwined with details about pointers and imperative state. Although there are a number of powerful separation logics that allow the details of imperative state to be captured and managed, these details are complicated and reasoning about them requires significant time and expertise. In this paper, we take a different approach: a memory-safe type system that, as part of type-checking, extracts functional specifications from imperative programs. This disentangles imperative state, which is handled by the type system, from functional specifications, which can be verified without reference to pointers. A key difficulty is that sometimes memory safety depends crucially on the functional specification of a program; e.g., an array index is only memory-safe if the index is in bounds. To handle this case, our specification extraction inserts dynamic checks into the specification. Verification then requires the additional proof that none of these checks fail. However, these checks are in a purely functional language, and so this proof also requires no reasoning about pointers.

Pedagogical and Psychological Settings for Training of Student Lawyers in Framed Professional Communication

The purpose of the study was to identify how the training of student lawyers in message framing influences their professional written and verbal communication proficiency. The study used qualitative research methods such as observations and focus groups to yield the data for the analysis. The focus group was used to obtain feedback from the sampled students concerning the training in framing messages. The study found that a specifically structured instructional model that relied on a ‘bolt-on’ module in message framing delivered throughout the entire elective course in Legal Rhetoric positively influenced students’ professional written and verbal communication proficiency. The data drawn from observations showed that students' abilities to use functional language and language rules increased throughout the training. When rating the activities for training in framing messages that are useful for lawyers, the observers mentioned five framing message activities seen as the most effective. Those were as follows: gain and loss, storytelling, WASP, call-to-action, ethos, and pathos. Gain and loss, ethos and pathos, and storytelling were rated by the observers higher than WASP and call-to-action. These were considered by the observers to be the most appropriate for the lawyer job context. Data relating to students’ general impressions of training in framing messages showed that they found this training interesting and engaging, practically useful for their jobs. Received: 14 April 2021 / Accepted: 5 July 2021 / Published: 5 September 2021

ATTITUDE ANALYSIS OF “THE GUARDIAN” EDITORIAL: LOCKDOWN POLICY AND THE GOVERNMENT

This study aims to analyze the presented attitude based on the choice of words in an editorial published by The Guardian on November 5th, 2020 entitled “The Guardian View on the New Lockdown: Fewer Promises, Better Performance Needed”. One of the most relevant discourses to be analyzed is editorial section of newspaper that is considered as the purest part of mass media reflected ideology, or in this case, political stance. This is a qualitative study using the method of Systemic Functional Language framework with the specification of interpersonal meaning especially appraisal analysis with 22 appraising items taken from the editorial as the sources of data. The findings show that The Guardian is more likely not standing on the same side as the government by giving more negative attitude than the positive ones in terms of affects, judgment, and appreciation. Getting involved in attitude analysis as a part of SFL is considered important in ELT process to help students use language appropriately started from small unit like word.

FUNCTIONAL ENGLISH

The book Functional English can be viewed as an introductory reading in the domain of functional language, or language used in order to perform certain communicative purposes. Functional language is a concept normally connected with foreign language learners of lower levels and with problems in achieving the designated standards in terms of the four basic language skills. The book is meant to provide a description of the subject matter of Functional English by establishing the basics, as well as the main features and elements of this linguistic domain. The overall objective of the book is to help with the understanding of existing language features sometimes taken for granted, and which may cause communication difficulties. Simultaneously, its ambition is to enable all the interested parties to reaffirm the foundations and build on the existing language repository, in an attempt to achieve a higher level of competence in English used to perform different communicative functions. The term practical language skills within Functional English entails the ability to formulate or articulate one’s communicative message, as well as the ability to interpret correctly or relay clearly to other parties any verbal material relevant to the process of communication. Moreover, being competent in Functional English means being able to select the adequate communication channel or method, where the key factors are the linguistic devices employed, the correlation between the language used and the intended goal, as well as the context of situation and its relation to the audience or the participants in the verbal interaction.