In the context of an object-oriented programming language such as Java, the ubiquitous use of instance fields and the presence of pointers (references to objects) make it difficult to understand a program's memory usage. Understanding memory usage is a key…

Many compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique for computing this information that has been studied extensively over the last decade. Most of this research…

This dissertation surveys the historical and intellectual development of the Ṭariqa Qadiriyya Naqshbandiyya (TQN), the amalgamated Sufi order founded in Indonesia by Shaykh Aḥmad Khaṭib Sambas (d.1875). After a brief recapitulation of the progress of Sufi orders in and beyond…

Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful…

This thesis discusses the design and implementation of a database programming language that supports the relational algebra for nested relations with arbitrary but finite levels of nesting, and the domain algebra for nested attributes at any level of the nested…

This Thesis deals with the cultural encounter between Islam and Javanese culture as represented by the slametan ritual. The major purposes of this thesis are threefold; (1) to give a brief account of the historical backdrop of the encounter between…

Speculative multithreading (SpMT), also known as thread level speculation (TLS), is a dynamic parallelization technique that relies on out-of-order execution, dependence buffering, and misspeculation rollback to achieve speedup of sequential programs on multiprocessors. A large number of hardware studies have…

Mobile agents are often described as a promising technology moving towards the vision of a widely distributed scalable electronic market. The deployment of electronic services, especially in the area of electronic commerce, raises essential questions closely related to security issues.…

Domestic space is a primary site for cultural reproduction. When the inhabitants intensively interact with domestic space, the house receives its cultural significance. This thesis aims to understand how, through practices, meanings are embodied in the spatial formation of the…

Virtual method calls are a fundamental feature offered by Java, an object-oriented programming language. However, they are also a source of degradation of performance at run time and imprecision in interprocedural analyses. There are several well known, inexpensive analyses that…