Rajeev Thakur
Introduction
I am a Senior Computer Scientist in the Mathematics and Computer
Science Division at Argonne National
Laboratory and a
Senior Fellow in the Computation Institute at the
University of Chicago. I am also
an adjunct associate professor in the Dept. of Electrical
Engineering and Computer Science at Northwestern University. My
research interests are in the area of high-performance computing in
general and particularly in parallel programming models and
message-passing and I/O libraries.
My curriculum vitae: pdf
Education
- Ph.D., Computer Engineering, Syracuse
University, 1995
- M.S., Computer Engineering, Syracuse
University, 1992
- B.E., Computer Engineering, University of Bombay, India, 1990
Book
Projects
- MPI and MPICH
- I am actively involved in the definition of the MPI standard in
the MPI Forum and its
implementation in the MPICH2 implementation
of MPI. MPICH2 is a high-performance, portable implementation developed
by us at Argonne. It forms the basis of many vendor MPI
implementations, such as by IBM for the Blue Gene, Cray for the XE/XK
series, SiCortex, Intel, Microsoft, and Myricom. The popular MVAPICH2
implementation from Ohio State University for InfiniBand networks is
also based on MPICH2. Many of the largest machines in the Top500 list
use MPICH2-based MPI implementations. MPICH2 won an R&D
100 Award in 2005 (photo). Many of our
research publications
related to MPICH2 can be found here.
- Parallel I/O
- I have worked on parallel I/O for many years, originally in the
context of the PASSION runtime library when I was a graduate student
at Syracuse University. I was actively involved in the definition of
the MPI-IO interface in the MPI-2 Forum. I was also the original
developer of the ROMIO
implementation of MPI-IO, which provides the MPI-IO
support in most MPI implementations. More recently, I have
collaborated with Prof. Xian-He Sun's group
at Illinois Insitute of Technology on various NSF-funded I/O
projects. Publications related to my I/O work can be found here. I also maintain this updated list
of parallel I/O benchmarks.
- Formal Verification of Parallel Programs
- I
collaborate with Prof. Ganesh Gopalakrishnan
at the University of Utah and Prof. Stephen Siegel at
the University of Delaware on using formal methods to verify
correctness of parallel programs. This is a promising technology since
it is quite hard to find concurrency-related bugs otherwise. We have
had several publications, including an
upcoming one in Communications of the ACM.
- Exascale Computing
- I am involved in several exascale related projects, such as the
DOE-funded CESAR exascale codesign center and the
International Exascale Software
Project (IESP). IESP is developing a
roadmap of system software research needed for exascale. I am one of
the (many) authors of this roadmap document.
Professional Activities
External Collaborators
Address
Mathematics and Computer Science Division
Argonne National Laboratory
9700 S. Cass Avenue
Argonne, IL 60439, USA
Tel: (630) 252-7847
email: thakur at mcs.anl.gov