Research OpportunitiesI am looking for motivated senior undergraduates, MS, and PhD students to work on projects some of which are listed below. Funding is available.
My research is on analysis and design of concurrent and parallel systems. In design area, we are interested in improving performance of various algorithms through parallelization. We also develop parallel workloads used for benchmarking platform development. In analysis area, we are interested in verification of concurrent systems. Verification consumes 60-70% of the overall software or hardware design cycle, hence it is a very costly process. The verification problem is growing with the introduction of multi-threaded, concurrent software and multiple processor systems. Software, hardware, telecommunication, semiconductor companies such as Microsoft, Google, Intel, Freescale, IBM, ST Micro, Siemens are all interested in verification solutions. Our goal is to develop efficient and industrial scale solutions to the verification problem.