Compilation to bytecode paired with interpretation is often used as a technique to easily build prototypes for new programming languages. Some languages, including Java, push this further and use the bytecode layer to isolate programs from the underlying platform. Current…

by Robert Honway Lee., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002., Includes bibliographical references (p. 81-82)., This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives…

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…

The Multidisciplinary Design Optimization (MDO) can be defined as a methodology for the design of complex engineering systems where collaboration and abilities to mutually interacting between different disciplines are fundamental. In this thesis, Virtual Aircraft Design and Optimization fRamework (VADOR),…

Networks and their services have been growing rapidly in recent years, so has the complexity of configuring the network operations. In order to manage the rapidly expanding networks, new management protocols are thus needed to change the network management from…

Java programs are deployed in a bytecode format that is executed by a Java virtual machine (JVM). JVM performance is determined by several major components: execution engine, garbage collector, and threading system. The static compilation and optimization approach, such as…

In designing compiler analyses and optimisations, the choice of intermediate representation (IR) is a crucial one. Static Single Assignment (SSA) form in particular is an IR with interesting properties, enabling certain analyses and optimisations to be more easily implemented while…

Side-effect analysis gives information about the set of locations that a statement may read or modify. This analysis can provide information useful in a compiler for performing aggressive optimizations. The impact of the use of side-effect analysis in compiler optimizations…

A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation,…

With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the scope of program analysis and compiler optimization from traditional, sequential programs to concurrent programs., Naumovich et al. proposed May Happen…