CANCIONES ARGENTINAS (SONGS OFARGENTINA): A RECORDING PROJECT

This Dissertation Project comprises recordings of Argentine art songs. The discs are approximately 40-60 minutes in length and consist of songs from the traditional art-song repertoire for voice and piano. This project is particularly appropriate because of the very limited number of recordings of Argentine songs, which are notable both not only for their high quality but for their accessibility of performance for voice teachers, students, and professional singers alike. Art songs in the Spanish language are a welcome resource, and the poetry included in this project is of an outstanding quality. Some of the poets set to music are Gabriela Mistral (a poet laureate of Chile and the first Latin American woman to win the Nobel Prize for Literature), Pablo Neruda (also a Nobel laureate), Luis Cernuda, and Leon Benar6s. The lyrics of some songs are based on traditional sources, and the melodies and rhythms of all are representative of South American-indigenous and European­ immigrant cultures. The composers represented here will be familiar to some listeners but more than likely unfamiliar to most. Yet Alberto Ginastera (1916-1983) is considered to be the greatest of all Argentine composers. Alberto Williams (1862-1952) is known as the father of the Nationalist School of composition in Argentina, and Carlos Lopez Buchardo (1881-1963) is a most influential composer and pedagogue after whom the national Conservatory of Music in Buenos Aries is named. Two composers who remain relatively unknown outside of South America, Abraham Jurafsky (1906- 1993) and Julio Perceval (1903-1963) are also represented in this project. A complete compact disc is devoted to the works of Carlos Guastavino. Known as the "Argentine Schubert", Guastavino has over 250 songs to his credit. Chiefly a composer for piano and voice, his recent death (October 2000) makes a recording of his works especially appropriate. This project also includes a written component, a supportive dissertation briefly describing the history of the Argentine art song and the lives and influences of the composers and poets represented in the studio recordings. The CD recordings are held in the Michelle Smith Performing Arts Library at the University of Maryland.

Alan Pauls: Poéticas del anacronismo

Alan Pauls (b. 1959) is an Argentine novelist and essayist. His works have barely been studied outside of Latin America; therefore, my work will be one of the first to focus critically and theoretically on his oeuvre and raise awareness of his importance to Contemporary Latin American Literature. The fundamental concept of my thesis is anachronism, which I develop by investigating the ways in which the present and the past are interconnected in the same temporal space. My dissertation has two interconnected parts. In the first, I propose an approach to Pauls’ literary work that emphasizes its engagement with literary and cultural theory. Specifically, I analyze how Pauls’ first novels –El pudor del pornógrafo (1984), El coloquio (1989), Wasabi (1994)– are strongly influenced by various theoretical discourses, especially the work of Roland Barthes. The guiding question of my dissertation’s first part is how one can narrate a fictional text without strictly appropriating narrative devices. Namely, I suggest that Pauls’ conception of literature is inevitably related to critical discourse. In the second part, I study a trilogy that Pauls wrote about the 1970s in Argentina: Historia del llanto (2007), Historia del pelo (2010), and Historia del dinero (2013). Here I focus on how Pauls uses the 1970s to propose a new conceptualization of the “political.” For Pauls, the “political” is not represented in the great events of a particular time but rather in the “effects” that these events produce; these effects are minor, almost imperceptible, and for that reason much more powerful as a literary event mechanism per se. From my point of view, this new conceptualization of the “political” contains in itself a problematic issue: the articulation between personal experience, history, and fiction. In conclusion, this interrelation between theory, politics, history, and fiction defines the path of my dissertation, which would have been just the “starting point” in my personal attempt to reconfigure the map of the Latin American literary contemporaneity.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Parsing, Generation and Grammar

Humans use their grammatical knowledge in more than one way. On one hand, they use it to understand what others say. On the other hand, they use it to say what they want to convey to others (or to themselves). In either case, they need to assemble the structure of sentences in a systematic fashion, in accordance with the grammar of their language. Despite the fact that the structures that comprehenders and speakers assemble are systematic in an identical fashion (i.e., obey the same grammatical constraints), the two ‘modes’ of assembling sentence structures might or might not be performed by the same cognitive mechanisms. Currently, the field of psycholinguistics implicitly adopts the position that they are supported by different cognitive mechanisms, as evident from the fact that most psycholinguistic models seek to explain either comprehension or production phenomena. The potential existence of two independent cognitive systems underlying linguistic performance doubles the problem of linking the theory of linguistic knowledge and the theory of linguistic performance, making the integration of linguistics and psycholinguistic harder. This thesis thus aims to unify the structure building system in comprehension, i.e., parser, and the structure building system in production, i.e., generator, into one, so that the linking theory between knowledge and performance can also be unified into one. I will discuss and unify both existing and new data pertaining to how structures are assembled in understanding and speaking, and attempt to show that the unification between parsing and generation is at least a plausible research enterprise. In Chapter 1, I will discuss the previous and current views on how parsing and generation are related to each other. I will outline the challenges for the current view that the parser and the generator are the same cognitive mechanism. This single system view is discussed and evaluated in the rest of the chapters. In Chapter 2, I will present new experimental evidence suggesting that the grain size of the pre-compiled structural units (henceforth simply structural units) is rather small, contrary to some models of sentence production. In particular, I will show that the internal structure of the verb phrase in a ditransitive sentence (e.g., The chef is donating the book to the monk) is not specified at the onset of speech, but is specified before the first internal argument (the book) needs to be uttered. I will also show that this timing of structural processes with respect to the verb phrase structure is earlier than the lexical processes of verb internal arguments. These two results in concert show that the size of structure building units in sentence production is rather small, contrary to some models of sentence production, yet structural processes still precede lexical processes. I argue that this view of generation resembles the widely accepted model of parsing that utilizes both top-down and bottom-up structure building procedures. In Chapter 3, I will present new experimental evidence suggesting that the structural representation strongly constrains the subsequent lexical processes. In particular, I will show that conceptually similar lexical items interfere with each other only when they share the same syntactic category in sentence production. The mechanism that I call syntactic gating, will be proposed, and this mechanism characterizes how the structural and lexical processes interact in generation. I will present two Event Related Potential (ERP) experiments that show that the lexical retrieval in (predictive) comprehension is also constrained by syntactic categories. I will argue that the syntactic gating mechanism is operative both in parsing and generation, and that the interaction between structural and lexical processes in both parsing and generation can be characterized in the same fashion. In Chapter 4, I will present a series of experiments examining the timing at which verbs’ lexical representations are planned in sentence production. It will be shown that verbs are planned before the articulation of their internal arguments, regardless of the target language (Japanese or English) and regardless of the sentence type (active object-initial sentence in Japanese, passive sentences in English, and unaccusative sentences in English). I will discuss how this result sheds light on the notion of incrementality in generation. In Chapter 5, I will synthesize the experimental findings presented in this thesis and in previous research to address the challenges to the single system view I outlined in Chapter 1. I will then conclude by presenting a preliminary single system model that can potentially capture both the key sentence comprehension and sentence production data without assuming distinct mechanisms for each.