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.

Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.

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.

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.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

序破急 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.

Automatic detection of learner-style for adaptive eLearning

The advent of modern wireless technologies has seen a shift in focus towards the design and development of educational systems for deployment through mobile devices. The use of mobile phones, tablets and Personal Digital Assistants (PDAs) is steadily growing across the educational sector as a whole. Mobile learning (mLearning) systems developed for deployment on such devices hold great significance for the future of education. However, mLearning systems must be built around the particular learner’s needs based on both their motivation to learn and subsequent learning outcomes. This thesis investigates how biometric technologies, in particular accelerometer and eye-tracking technologies, could effectively be employed within the development of mobile learning systems to facilitate the needs of individual learners. The creation of personalised learning environments must enable the achievement of improved learning outcomes for users, particularly at an individual level. Therefore consideration is given to individual learning-style differences within the electronic learning (eLearning) space. The overall area of eLearning is considered and areas such as biometric technology and educational psychology are explored for the development of personalised educational systems. This thesis explains the basis of the author’s hypotheses and presents the results of several studies carried out throughout the PhD research period. These results show that both accelerometer and eye-tracking technologies can be employed as an Human Computer Interaction (HCI) method in the detection of student learning-styles to facilitate the provision of automatically adapted eLearning spaces. Finally the author provides recommendations for developers in the creation of adaptive mobile learning systems through the employment of biometric technology as a user interaction tool within mLearning applications. Further research paths are identified and a roadmap for future of research in this area is defined.

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.

Chicana poetics: genre and style in Gloria Anzaldúa and Lorna Dee Cervantes

This thesis conducts a formal study of the poetry of Gloria Anzaldúa and Lorna Dee Cervantes, placing their work in dialogue with genre and style. These two Chicana poets are exemplary of politicised experimentation with poetics, underpinned by a keen awareness of the rich history of form, genre and style. In the work of each poet, two poetic modes are examined: one traditional, and one experimental. Anzaldúa’s uses of the dramatic monologue as a border genre, and her construction of [auto]poetics, stemming from her multi-genre, autobiographical approach to writing, are considered. Cervantes’s complex approach to the construction of docupoetics that achieves a depth of field in terms of merging a multidimensional approach to aesthetics with highly politicised transnational content, as well as her engagement with the longstanding poetic of elegy via various formal points of entry, is investigated. These poetic modes are primarily explored via close readings, supported by a multidisciplinary framework that includes Anzaldúa’s feminist theories of identity and writing, abjection theory, postcolonialism, and transnationalism. Overall, these four key areas demonstrate the ways in which aesthetics is a crucial consideration in the exploration of the broader issues of content and context in Chicana poetry.

Na marbhnaí do Shéamas Óg Mac Coitir (1689-1720)

Go príomha, is tráchtas é seo a dhéanann staidéar ar ghné de litríocht iar-chlasaiceach na Gaeilge. Baineann sé go háirithe leis an sraith chaointe nó marbhnaí i bhfoirm véarsaíochta a cumadh do Shéamas Óg Mac Coitir (1689-1720), duine uasal Caitliceach ó Charraig Tuathail, Co. Chorcaí, nuair a ciontaíodh é in éigniú Elizabeth Squibb, bean de Chumann na gCarad; nuair a cuireadh pionós an bháis air; agus nuair a crochadh é i gCathair Chorcaí an 7 Bealtaine, 1720. Ó thaobh na staire de, scrúdaítear Clann Choitir mar shampla de theaghlach nár cheil a ndílseacht do chúis pholaitiúil na Stíobhartach agus a sheas an fód go cróga faoi mar a bhí a ngreim polaitiúil á dhaingniú ag an gCinsealacht Phrotastúnach ó dheireadh an 17ú haois amach. Tagraítear do sheicteachas na sochaí comhaimseartha agus don teannas idir an pobal Caitliceach agus an pobal Protastúnach ag an am. Déantar scagadh ar an véarsaíocht mar fhoinse luachmhar do dhearcadh míshásta an mhóraimh Chaitlicigh ar struchtúr polaitiúil chontae Chorcaí (agus na hÉireann) i dtosach an 18ú haois. Is feiniméan liteartha an dlús véarsaíochta seo a bhaineann go háirithe le traidisiún liteartha Chorcaí. Tá na dánta curtha in eagar agus aistriúchán go Béarla curtha ar fáil: is é seo croí an tráchtais. Tá an t-eagrán bunaithe ar scrúdú cuimsitheach ar thraidisiún na lsí; pléitear modheolaíocht na heagarthóireachta. Déantar iarracht ar na dánta a shuíomh sa traidisiún casta liteartha sa tráchtaireacht tosaigh; sa chuid eile den bhfearas scoláiriúil, scrúdaítear ceisteanna a bhaineann le cúrsaí teanga, foclóra, meadarachta agus stíle. Tá innéacsanna agus liosta foinsí le fáil i ndeireadh an tráchtais.

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.