Future value based single assignment program representations and optimizations

An optimizing compiler internal representation fundamentally affects the clarity, efficiency and feasibility of optimization algorithms employed by the compiler. Static Single Assignment (SSA) as a state-of-the-art program representation has great advantages though still can be improved. This dissertation explores the domain of single assignment beyond SSA, and presents two novel program representations: Future Gated Single Assignment (FGSA) and Recursive Future Predicated Form (RFPF). Both FGSA and RFPF embed control flow and data flow information, enabling efficient traversal program information and thus leading to better and simpler optimizations. We introduce future value concept, the designing base of both FGSA and RFPF, which permits a consumer instruction to be encountered before the producer of its source operand(s) in a control flow setting. We show that FGSA is efficiently computable by using a series T1/T2/TR transformation, yielding an expected linear time algorithm for combining together the construction of the pruned single assignment form and live analysis for both reducible and irreducible graphs. As a result, the approach results in an average reduction of 7.7%, with a maximum of 67% in the number of gating functions compared to the pruned SSA form on the SPEC2000 benchmark suite. We present a solid and near optimal framework to perform inverse transformation from single assignment programs. We demonstrate the importance of unrestricted code motion and present RFPF. We develop algorithms which enable instruction movement in acyclic, as well as cyclic regions, and show the ease to perform optimizations such as Partial Redundancy Elimination on RFPF.

Optical hysteresis of ridge waveguide magnetic garnet films and cavities in two-dimensional magneto-photonic crystal slabs

Magnetic iron garnets as well as magnetic photonic crystals are of great interests in magneto-optic applications such as isolators, current captors, circulators, TE-TM mode conversion, wavelength accordable filters, optical sensors and switches, all of which provide a promising platform for future integrated optical circuits. In the present work, two topics are studied based on magnetic iron garnet films. In the first part, the characteristics of the magnetization are investigated for ridge waveguides fabricated on (100) oriented iron garnet thin films. The magnetic response in magneto-optic waveguides patterned on epitaxial magnetic garnet films depends on the crystallographic orientation of the waveguides and the magnetic anisotropy of the material. These can be studied by polarization rotation hysteresis loops, which are related to the component of magnetization parallel to the light propagation direction and the linear birefringence. Polarization rotation hysteresis loops for low birefringence waveguides with different orientations are experimentally investigated. Asymmetric stepped curves are obtained from waveguides along, due to the large magnetocrystalline anisotropy in the plane. A model based on the free energy density is developed to demonstrate the motion of the magnetization and can be used in the design of magneto-optic devices. The second part of this thesis focuses on the design and fabrication of high-Q cavities in two-dimensional magneto-photonic crystal slabs. The device consists of a layer of silicon and a layer of iron garnet thin film. Triangular lattice elliptical air holes are patterned in the slab. The fundamental TM band gap overlaps with the first-order TE band gap from 0374~0.431(a/λ) showing that both TE and TM polarization light can be confined in the photonic crystals. A nanocavity is designed to obtain both TE and TM defect modes in the band gaps. Additional work is needed to overlap the TE and TM defect modes and obtain a high-Q cavity so as to develop miniaturized Faraday rotators.

STUDIES OF FUNCTIONALIZED NANOPARTICLES FOR SMART SELF-ASSEMBLY AND AS CONTROLLED DRUG DELIVERY

This dissertation is related to the studies of functionalized nanoparticles for self-assembly and as controlled drug delivery system. The whole topic is composed of two parts. In the first part, the research was conducted to design and synthesize a new type of ionic peptide-functionalized copolymer conjugates for self-assembly into nanoparticle fibers and 3D scaffolds with the ability of multi-drug loading and governing the release rate of each drug for tissue engineering. The self-assembly study confirmed that such peptide-functionalized amphiphilic copolymers underwent different self-assembly behavior. The bigger nanoparticles were more easily assembled into nanoparticle fibers and 3D scaffolds with larger pore size, while the smaller nanoparticle underwent faster self-assembly to form more compact 3D scaffolds with smaller porosity but more stable structure. Controlled release studies confirmed the ability of governing simultaneous release of different model drugs with independent release rate from a same scaffold. Cytotoxicity tests showed that all synthesized peptides, copolymers and peptide-copolymer conjugates were biocompatible with SW-620 cell lines and NIH3T3 cell lines. This new type of self-assembled scaffolds combined the advantages of peptide nanofibers and versatile controlled release of polymeric nanoparticles to achieve simultaneous multi-drug loading and controlled release of each drug, uniform distribution and flexibility of hydrogel scaffolds. The investigations in second part were first to design and synthesize organic biocide-loaded nanoparticles for low-leaching wood preservation using a cost-effective one-pot method to synthesize amphiphilic chitosan-g-PMMA nanoparticles loading with ~25-28 wt.% of the fungicide tebuconazole with particle size of ~100 nm diameter by FESEM. FESEM analysis confirmed efficient penetration of nanoparticles throughout the treated wooden stake with dimension of 19 × 19 × 455 mm^3. Leaching studies showed that biocide introduced into sapwood via nanoparticles leached only ~9% compared with the amount leached from tebuconazole solution-treated control, while soil jar tests showed that the nanoparticle-treated wood blocks were effectively protected from biological decay tested against G. trabeum, a brown rot fungus. Copper oxide nanoparticles with and without polymer stabilizers were also investigated to use as inorganic wood preservatives to clarify the factor affecting copper leaching from treated wood. Copper oxide nanoparticles with uniform diameters of ~10 nm and ~50 nm were prepared, and the leachates from southern pine sapwood treated with these nanoparticles were analyzed. It was found by TEM and EDS analysis that significant numbers of nanoparticles leached from the treated wood. The 50 nm nanoparticles leached slightly less than a soluble copper salt control, but 10 nm nanoparticles leached substantially more than the control. The effect of polymer stabilizers on nanoparticle leaching was also investigated. Results showed that polymer stabilizers increased leaching. The trends showed that nanoparticle size was a major factor in copper leaching.