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@wmich.edu

HIGHLIGHTED POSTS

My wedding photos (17/09/08)

Friendly match - Austria 3 - 4 Netherlands (26/03/08)

5 days in Greece (Day 0 1 2 3 4 5) (15/03/08)

Lần đầu tiên trượt băng (28/02/08)

Uhrenmuseum Wien (24/02/08)

Wien Museum Karlsplatz Part 1 2 3 4 5 (17/02/08)

Slam Dunk (06/02/08)

Nem rán mừng xuân (05/02/08)

Comparisons between West and East's cultures (31/01/08)

Captain Tsubasa (27/01/08)

Bò xào, thật là đơn giản! (24/01/08)

Rambling in the center of Vienna (16/01/08)

The last night of the year 2007 in Vienna (01/01/08)

TOEFL Score (27/12/07)

Snowing in Vienna (16/11/07)

Locations of visitors to this page

page counter