[TYPES/announce] PhD Research Assistantship at Western Michigan University

[Zijiang (James) Yang]

One Ph.D. research assistantship at the Department of Computer Science is
available starting Fall 2008 for research in concurrent program testing 
and verification.
The project is funded by the US National Science Foundation. It
involves collaborations with researchers at EECS, University of Michigan.

Project title: Trace-Driven Verification of Multithreaded Software.

Project Summary:
The ever increasing use of hyper-threading and the availability of
inexpensive multiprocessor hardware present tremendous opportunities
as well as serious challenges for software developers. In order for
software applications to benefit from the continued exponential
throughput advances in multicore processors, the applications must be
well-written multithreaded software programs. Unfortunately, writing
multithreaded software programs that can unleash the full potential of
present and future hardware systems remains as challenging today as it
was thirty years ago. This research aims to develop practical tools and
methodologies that can bring down the complexity of testing/debugging
multithreaded programs to a level comparable to that of
testing/debugging sequential programs.

Requirement:
You will have a BS degree in Computer Science (MS preferred). Excellent 
programming skill is required. Knowledge on formal verification, model 
checking, and SAT/SMT solver is preferred.

Informal enquires about the position should be addresses to:

Dr Zijiang (James) Yang,
Department of Computer Science
Western Michigan University
zijiang.yang at wmich.edu