What secondary English to speakers of other languages (ESOL) teachers know about social and academic language and instructional strategies for limited English proficient students

The purpose of this study was to examine what secondary English to Speakers of Other Languages (ESOL) teachers understand about social and academic language, what instructional strategies they use for Limited English Proficient (LEP) students, and how these concepts are operationalized in their daily practice. ^ This was a mixed method study incorporating both quantitative and qualitative data collection and interpretation. Written questionnaires and individual interviews addressed the questions on teachers' definitions of social and academic language and their strategy use. Classroom observations provided verification of their definitions and their descriptions of instruction for academic language. ^ Findings indicated that teachers' definitions of social and academic language were still developing and that there were ambiguities in identifying examples of social and academic language. The use of graphic organizers or visual supports, groups or peer partners, role play or drama, and modeling were the strategies teachers consistently listed for beginner, intermediate, advanced and multiple level classes. Additionally, teachers' descriptions of their instruction were congruent with what was observed in their classroom practice. ^ It appeared that this population of secondary ESOL teachers was in the process of evolving their definitions of social and academic language and were at different stages in this evolution. Teachers' definitions of language influenced their instruction. Furthermore, those who had clear constructs of language were able to operationalize them in their classroom instruction. ^

Practical secure information flow in programming languages

If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. ^ We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. ^ Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm B and error reporting have been implemented and tested. ^ Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity. ^

Hispanic Orientalism: The Literary Development of a Cultural Paradigm, from Medieval Spain to Modern Latin America

This dissertation offers a novel approach to Hispanic Orientalism, developing a dynamic paradigm from its origins in medieval and Renaissance Iberia during the process of the Christian Reconquest, to its transatlantic migration and establishment in the early years of the Colony, from where it changed in late colonial and post-Independence Latin America, and onto modernity. The study argues that Hispanic Orientalism does not necessarily imply a negative depiction of the Other, a quality associated with the traditional critique of Saidian Orientalism. Neither, does it entirely comply with the positivist approach suggested in the theoretical research of Said’s opponents, like Julia Kushigian. This dissertation also argues that sociopolitical changes and the shift in the discourse of powers, from imperial to non-imperial, had a significant impact of the development of Hispanic Orientalism, shaping the relationship with the Other. The methodology involves close reading of representative texts depicting the interactions of the dominant and dominated societies from each of the four historic periods that coincided with significant sociopolitical transformations in Hispanic society. Through an intercultural approach to literary studies, social history, and religious studies, this project develops an original paradigm of Hispanic Orientalism, derived from the image of the reinvented Semitic Other portrayed in the literary works depicting the relationship between the hegemonic and the subaltern cultures during the Reconquest period in Spain. Then, it traces the turn of the original paradigm towards reinterpretation during its transatlantic migration to Latin America through the analysis of the chronicles and travelogs of the first colonizers and explorers. During the transitional late colonial and early Independence periods Latin America sees a significant change in the discourse of powers, and Hispanic Orientalism reflects this oscillation between the past and the present therough the works of the Latin American authors from the seventeenth to the nineteenth centuries. Finally, once the non-imperial discourse of power established itself in the former Colony, a new modern stage in the development of Hispanic Orientalist paradigm takes place. It is marked by the desire to differentiate itself from the O(o)thers, as manifested in the works of the representatives of Modernism and the Boom.