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…

In the last decade, the video game industry has shown unparalleled growth, both in revenue and in development complexity. Modern video games are built using powerful game development tools. However, given their complexity and scope, these tools are ill-suited for…

AspectJ is a popular aspect-oriented extension to Java, providing powerful new features for the modularizing of crosscutting concerns, promising improved code quality. The runtime cost of these features, however, is currently not well understood, and is a concern limiting even…

Recent advances in embedded technologies have enabled cell phones tobecome powerful multihomed computing devices and hosts to a wide rangeof applications. However, communication between the device and the outsideworld is still a complicated task because the device is mobile, the…

To keep pace with the increasing user base and resulting processing requirements, enterprise and e-commerce applications need constant innovation in their application design and system architecture. Scalability and availability are the basic principles that must be adhered to by the…

Mepiquat chloride (1.1 - dimethylpiperidinium chloride) are used to control excessive vegetative growth in cotton (Gossypium hirsutum L.) broadcast sprayed by ground or air. As proven by previous researches the variability of the cotton plants height in the field is…