Also In This Section
  • Categories

  • Recent Posts

  • Archives

  • Month: 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.