Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Facial Feature Tracking and Occlusion Recovery in American Sign Language

Facial features play an important role in expressing grammatical information in signed languages, including American Sign Language(ASL). Gestures such as raising or furrowing the eyebrows are key indicators of constructions such as yes-no questions. Periodic head movements (nods and shakes) are also an essential part of the expression of syntactic information, such as negation (associated with a side-to-side headshake). Therefore, identification of these facial gestures is essential to sign language recognition. One problem with detection of such grammatical indicators is occlusion recovery. If the signer's hand blocks his/her eyebrows during production of a sign, it becomes difficult to track the eyebrows. We have developed a system to detect such grammatical markers in ASL that recovers promptly from occlusion. Our system detects and tracks evolving templates of facial features, which are based on an anthropometric face model, and interprets the geometric relationships of these templates to identify grammatical markers. It was tested on a variety of ASL sentences signed by various Deaf native signers and detected facial gestures used to express grammatical information, such as raised and furrowed eyebrows as well as headshakes.

Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.

Computational Properties of SNAFU

Sensor applications in Sensoria [1] are expressed using STEP (Sensorium Task Execution Plan). SNAFU (Sensor-Net Applications as Functional Units) serves as a high-level sensor-programming language, which is compiled into STEP. In SNAFU’s current form, its differences with STEP are relatively minor, as they are limited to shorthands and macros not available in STEP. We show that, however restrictive it may seem, SNAFU has in fact universal power; technically, it is a Turing-complete language, i.e., any Turing program can be written in SNAFU (though not always conveniently). Although STEP may be allowed to have universal power, as a low-level language not directly available to Sensorium users, SNAFU programmers may use this power for malicious purposes or inadvertently introduce errors with destructive consequences. In future developments of SNAFU, we plan to introduce restrictions and highlevel features with safety guards, such as those provided by a type system, which will make SNAFU programming safer.

Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)

The purpose of this project is the creation of a graphical "programming" interface for a sensor network tasking language called STEP. The graphical interface allows the user to specify a program execution graphically from an extensible pallet of functionalities and save the results as a properly formatted STEP file. Moreover, the software is able to load a file in STEP format and convert it into the corresponding graphical representation. During both phases a type-checker is running on the background to ensure that both the graphical representation and the STEP file are syntactically correct. This project has been motivated by the Sensorium project at Boston University. In this technical report we present the basic features of the software, the process that has been followed during the design and implementation. Finally, we describe the approach used to test and validate our software.

序破急 Jo-Ha-Kyu: enticement - crux - consolidation. From study to learning: Process drama projects in the Japanese English language university classroom

This dissertation investigates how social issues can be explored through process drama projects in the Japanese university English as a Foreign Language classroom context. The trajectory of this dissertation moves along a traditional Noh three part macro-continuum, called Jo-Ha-Kyu, interpreted as enticement, crux and consolidation. Within these three parts, there are six further divisions. Part I consists of three sections: Section I, the introduction, sets the backdrop for the entire dissertation, that of Japan, and aims to draw the reader into its culturally unique and specific world. This section outlines the rationale for placing the ethnographer at the centre of the research, and presents Japan through the eyes of the writer. Section II outlines relevant Japanese cultural norms, mores and values, the English educational landscape of Japan and an overview of theatre in Japan and its possible influences on the Japanese university student today. Section III provides three literature reviews: second language acquisition, drama in education to process drama, and Content Language Integrated Learning. In Part 2, Sections IV and V respectively consist of the research methodology and the action research at the core of this dissertation. Section IV describes the case of Kwansei Gakuin University, then explains the design of the process drama curricula. Section V details the three-process drama projects based around the three social issues at the centre of this dissertation. There is also a description of an extra project that of the guest lecturer project. The ultimate goals of all four projects were to change motivation through English in a CLIL context, to develop linguistic spontaneity and to deepen emotional engagement with the themes. Part 3 serves to reflect upon the viability of using process drama in the Japanese university curriculum, and to critically self-reflect on the project as a whole.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Language legislation in Ireland and the United Kingdom: Exploring the gaps between theory and practice

The central objective in this thesis is to explore the gaps between the normative justifications advanced for language rights and language legislative protection and the effective realisation of those rights and legislative provisions in practice. This objective is achieved by examining the scope and application of language rights and legislative provisions within language legislation in Ireland and the United Kingdom. Drawing on Canadian jurisprudence advocating for language rights to be recognised as “purposeful”, the thesis considers the extent to which Ireland and the United Kingdom have limited the acceptance of positive obligations as they relate to the provision of language services in the public sphere. In arguing that language rights are distinct in nature, the thesis suggests that in order for language rights to be effectively realised, an approach to language rights and language legislation more generally must be underpinned by a substantive vision of equality, otherwise language rights and legislative provisions merely amount to symbolic recognition and vacuous rhetoric as opposed to being substantive and enabling rights and provisions. Having said that, the thesis also recognises and elucidates the practical difficulties that arise in the realisation of language rights and language legislative provisions and in doing so seeks to stimulate further dialogue about the nature and limits of language rights and language legislation.

Literatur verstehen und inszenieren: Foreign language literature through drama, a research project

Based on the experience that today's students find it more difficult than students of previous decades to relate to literature and appreciate its high cultural value, this paper argues that too little is known about the actual teaching and learning processes which take place in literature courses and that, in order to ensure the survival of literary studies in German curricula, future research needs to elucidate for students, the wider public and, most importantly, educational policy makers, why the study of literature should continue to have an important place in modern language curricula. Contending that students' willingness to engage with literature will, in the future, depend to a great extent on the use of imaginative methodology on the part of the teacher, we give a detailed account of an action research project carried out at University College Cork from October to December 2002 which set out to explore the potential of a drama in education approach to the teaching and learning of foreign language literature. We give concrete examples of how this approach works in practice, situate our approach within the subject debate surrounding Drama and the Language Arts and evaluate in detail the learning processes which are typical of performance-based literature learning. Based on converging evidence from different data sources and overall very positive feedback from students, we conclude by recommending that modern language departments introduce courses which offer a hands-on experience of literature that is different from that encountered in lectures and teacher-directed seminars.

Within the carnal: re-reading Merleau-Ponty through the language of drawing

In order to present visual art as a paradigm for philosophy, Merleau-Ponty investigated the creative processes of artists whose work corresponded closely with his philosophical ideas. His essays on art are widely valued for emphasising process over product, and for challenging the primacy of the written word in all spheres of human expression. While it is clear that he initially favoured painting, Merleau-Ponty began to develop a much deeper understanding of the complexities of how art is made in his late work in parallel with his advancement of a new ontology. Although his ontology remains unfinished and only exists as working notes and a manuscript entitled The Visible and Invisible, Merleau-Ponty had begun to appreciate the fundamental role drawing plays in the making of art and the creation of a language of expression that is as vital as the written or spoken word. Through an examination of Merleau-Ponty’s unfinished manuscript and working notes my thesis will investigate his working methods and use of materials and also explore how he processed his ideas by using my own art practice as the basis of my research. This research will take the form of an inquiry into how the unfinished and incomplete nature of text and artworks, while they are still ‘works in progress’, can often reveal the more human and carnal components of creative processes. Applying my experience as a practitioner and a teacher in an art school, I focus on the significance of drawing practice for Merleau-Ponty’s later work, in order to rebalance an overemphasis on painting in the literature. Understanding the differences between these two art forms, and how they are taught, can offer an alternative engagement with Merleau-Ponty’s later work and his struggle to find a language to express his developing new ontology. In addition, by re-reading his work through the language of drawing, I believe we gain new insights which reaffirm Merleau-Ponty's relevance to contemporary art making and aesthetics.

Spike avalanches exhibit universal dynamics across the sleep-wake cycle.

BACKGROUND: Scale-invariant neuronal avalanches have been observed in cell cultures and slices as well as anesthetized and awake brains, suggesting that the brain operates near criticality, i.e. within a narrow margin between avalanche propagation and extinction. In theory, criticality provides many desirable features for the behaving brain, optimizing computational capabilities, information transmission, sensitivity to sensory stimuli and size of memory repertoires. However, a thorough characterization of neuronal avalanches in freely-behaving (FB) animals is still missing, thus raising doubts about their relevance for brain function. METHODOLOGY/PRINCIPAL FINDINGS: To address this issue, we employed chronically implanted multielectrode arrays (MEA) to record avalanches of action potentials (spikes) from the cerebral cortex and hippocampus of 14 rats, as they spontaneously traversed the wake-sleep cycle, explored novel objects or were subjected to anesthesia (AN). We then modeled spike avalanches to evaluate the impact of sparse MEA sampling on their statistics. We found that the size distribution of spike avalanches are well fit by lognormal distributions in FB animals, and by truncated power laws in the AN group. FB data surrogation markedly decreases the tail of the distribution, i.e. spike shuffling destroys the largest avalanches. The FB data are also characterized by multiple key features compatible with criticality in the temporal domain, such as 1/f spectra and long-term correlations as measured by detrended fluctuation analysis. These signatures are very stable across waking, slow-wave sleep and rapid-eye-movement sleep, but collapse during anesthesia. Likewise, waiting time distributions obey a single scaling function during all natural behavioral states, but not during anesthesia. Results are equivalent for neuronal ensembles recorded from visual and tactile areas of the cerebral cortex, as well as the hippocampus. CONCLUSIONS/SIGNIFICANCE: Altogether, the data provide a comprehensive link between behavior and brain criticality, revealing a unique scale-invariant regime of spike avalanches across all major behaviors.

Universal quantum viscosity in a unitary Fermi gas.

A Fermi gas of atoms with resonant interactions is predicted to obey universal hydrodynamics, in which the shear viscosity and other transport coefficients are universal functions of the density and temperature. At low temperatures, the viscosity has a universal quantum scale ħ n, where n is the density and ħ is Planck's constant h divided by 2π, whereas at high temperatures the natural scale is p(T)(3)/ħ(2), where p(T) is the thermal momentum. We used breathing mode damping to measure the shear viscosity at low temperature. At high temperature T, we used anisotropic expansion of the cloud to find the viscosity, which exhibits precise T(3/2) scaling. In both experiments, universal hydrodynamic equations including friction and heating were used to extract the viscosity. We estimate the ratio of the shear viscosity to the entropy density and compare it with that of a perfect fluid.

A Politics of the Unspeakable: The Differend of Israel

Israel's establishment in 1948 in former British-Mandate Palestine as a Jewish country and as a liberal democracy is commonly understood as a form of response to the Holocaust of WWII. Zionist narratives frame Israel's establishment not only as a response to the Holocaust, but also as a return to the Jewish people's original homeland after centuries of wandering in exile. Debates over Israel's policies, particularly with regard to Palestinians and to the country's non-Jewish population, often center on whether Israel's claims to Jewish singularity are at the expense of principles of liberal democracy, international law and universal human rights. In this dissertation, I argue that Israel's emphasis on Jewish singularity can be understood not as a violation of humanism's universalist frameworks, but as a symptom of the violence inherent to these frameworks and to the modern liberal rights-bearing subject on which they are based. Through an analysis of my fieldwork in Israel (2005-2008), I trace the relation between the figures of "Jew" and "Israeli" in terms of their historical genealogies and in contemporary Israeli contexts. Doing so makes legible how European modernity and its concepts of sovereignty, liberalism, the human, and subjectivity are based on a metaphysics of presence that defines the human through a displacement of difference. This displaced difference is manifest in affective expression. This dissertation shows how the figure of the Jew in relation to Israel reveals sexual difference as under erasure by the suppression of alterity in humanism's configuration of man, woman, and animal, and suggests a political subject unable to be sovereign or fully represented in language.

Development of universal antidotes to control aptamer activity.

With an ever increasing number of people taking numerous medications, the need to safely administer drugs and limit unintended side effects has never been greater. Antidote control remains the most direct means to counteract acute side effects of drugs, but, unfortunately, it has been challenging and cost prohibitive to generate antidotes for most therapeutic agents. Here we describe the development of a set of antidote molecules that are capable of counteracting the effects of an entire class of therapeutic agents based upon aptamers. These universal antidotes exploit the fact that, when systemically administered, aptamers are the only free extracellular oligonucleotides found in circulation. We show that protein- and polymer-based molecules that capture oligonucleotides can reverse the activity of several aptamers in vitro and counteract aptamer activity in vivo. The availability of universal antidotes to control the activity of any aptamer suggests that aptamers may be a particularly safe class of therapeutics.