The Nightmare of Actual Identity": Franco-Algerian Literature after Liberation"

In this thesis I examine the issues of postcolonial Algerian identity expressed in literature, and the difficulty of defining an Algerian identity independent of French influence. I analyze and contextualize three novels (Le Polygone etoile by Kateb Yacine,L'Amour, la fantasia by Assia Djebar, and Le Village de l'allemand ou le journal des freres Schiller) representative of their respective periods. I explore the evolution of expressions of identity through post-liberation Algeria. The years immediately following decolonization are marked by the effort to return to aprecolonial blank slate, an effort that Yacine cautions against. The 1980s and 1990s are most concerned with re-inserting Algeria into the Western historical discourse, and the most recent literature moves beyond decolonization to discuss the current Islamistchallenge and immigration. Among the pertinent issues are language, oral vs. written traditions, the often blatant absence of Algerians and women from the accounts in the French colonial archives, and, of course, the Self/Other binary. I have found that theserepresentative authors and texts use asynchronic time, fragmented narrative, re-written history, and expressions of violence in an attempt to cope with the colonial period and decolonization. I show that these authors provide a commentary on those who have triedto erase their French side, but with little success. Ultimately, though in different ways, each author writes that Algerians much accept their French past and move beyond it,rather than fighting their collective history.

Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.