A Compilation Strategy for Numerical Programs Based on Partial Evaluation

This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders to propagate intermediate results. For an important class of numerical programs, a compiler based on this technique improves performance by an order of magnitude over conventional compilation techniques. I show that by eliminating inherently sequential data-structure references, partial evaluation exposes the low-level parallelism inherent in a computation. I have implemented several parallel scheduling and analysis programs that study the tradeoffs involved in the design of an architecture that can effectively utilize this parallelism. I present these results using the 9- body gravitational attraction problem as an example.

Exploiting the Parallelism Exposed by Partial Evaluation

We describe the key role played by partial evaluation in the Supercomputing Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputing Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at MIT, and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is chaotically unstable.

Synthesis and Characterization of Magnetic Nanoparticles with High Magnetization and Good Oxidation Resistibility

Magnetic nanoparticles attract increasing attention because of their current and potential biomedical applications, such as, magnetically targeted and controlled drug delivery, magnetic hyperthermia and magnetic extraction. Increased magnetization can lead to improved performance in targeting and retention in drug delivery and a higher efficiency in biomaterials extraction. We reported an approach to synthesize iron contained magnetic nanoparticles with high magnetization and good oxidation resistibility by pyrolysis of iron pentacarbonyl (Fe(CO)[subscript 5]) in methane (CH[subscript 4]). Using the high reactivity of Fe nanoparticles, decomposition of CH[subscript 4] on the Fe nanoparticles leads to the formation of nanocrystalline iron carbides at a temperature below 260°C. Structural investigation indicated that the as-synthesized nanoparticles contained crystalline bcc Fe, iron carbides and spinel iron oxide. The Mössbauer and DSC results testified that the as-synthesized nanoparticle contained three crystalline iron carbide phases, which converted to Fe[subscript 3]C after a heat treatment. Surface analysis suggested that the as-synthesized and subsequently heated iron-iron carbide particles were coated by iron oxide, which originated from oxidization of surface Fe atoms. The heat-treated nanoparticles exhibited a magnetization of 160 emu/g, which is two times of that of currently used spinel iron oxide nanoparticles. After heating in an acidic solution with a pH value of 5 at 60°C for 20 h, the nanoparticles retained 90 percentage of the magnetization.