Archives—August 2011

Dr. Soner Onder Awarded $153,000

Dr. Soner Onder was awarded $153,000.00 from the NSF (National Science
Foundation), division of Computer and Communication Foundations,
Software and Hardware Foundations Program in support of his research.
This research focuses on developing a framework in which compilers and
processor architectures can collaborate efficiently and effectively.

The project will support two Ph.D. students for one year. Dr. Onder
and his students will be investigating single assignment program
representations in which each variable is assigned at a single point
in the program. The direct support of these representations through
micro-architecture implementation is the key concept that can break
the barriers between the compilers and architectures. This new
approach will have a significant impact on the design of future
processors, design of compiler internal representations as well as the
back-end of the compilers. It can also change how parallelism is
exploited at various granularities and how various optimizations are
carried out.

Dr. Onder also expects that the investigated framework will help
revitalize computer architecture and compiler optimization research by
opening up unexplored paths for research in high-performance systems.
Consequently, it can affect every field of science and commerce which
relies on high-performance computation.

Dr. Ali Ebnenasir Received NSF Award

Dr. Ali Ebnenasir has been awarded $254,015.00 from the NSF (National Science Foundation) in support of his research. This research focuses on facilitating the design of Self-Stabilizing network protocols, where a SS protocol eventually recovers from any troubled configuration to a legitimate configuration and stays in legitimate configurations as long as there are no perturbations.

This is an important problem as today’s complex distributed systems frequently reach illegitimate configurations due to the occurrence of the transient faults that perturb protocols without causing permanent damage. Most existing methods are based on the manual creation of an initial design and after-the-fact verification of the manual design. This research presents a paradigm shift based on a philosophy of synthesize-in-small-scale-and-generalize.

Dr. Ebnenasir and his students study the automatic generation of small instances of SS protocol, and the generalization of the synthesized instances to larger protocols. This project will fund one PhD student and two hourly-paid undergraduate students, and is expected to take three years.