Welcome to the Technical Page of
| Resume | Publications | Career Graph | E-mail | Guest book
Compilers
Program analysis
Programming languages
Parallel processing
Software engineering
Currently, consultant in the
above areas.
* Also, doing books,
and research papers reviews. Reviews
of 29 books/articles are published
in journals like ACM SIGACT Newsletter, ACM
Computing reviews ( ACM & reviews.com ), IEEE
Distributed systems online.
* Director, Professional
Activities, IEEE Atlanta Section for
2003.
* Member of ACM
(1999-2005), member of
IEEE (2000-2004), member of WWISA
(2002 onwards).
Vivechan, Inc., Atlanta, GA, USA. : 2004 onwards.
Proceler / Flexsilicon Inc., Atlanta, GA, USA : Principal Systems Engineer : June 2000 to September 2002
Bhasha, Inc., Wayne, PA, USA. : Member of technical staff : January 2000 to April 2000
Sun Microsystems Inc., Palo Alto, California, USA. : Member - technical staff 3, software : December 1998 to June 1999
IBM Global Services India Pvt. Ltd., Bangalore, India : Senior Software Analyst : May 1998 to November 1998
Advanced Synergic Microsystems Limited, Bangalore, India. : Systems Analyst, Team Leader. : May 1997 to April 1998
Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India : Senior Research Fellow : September-1995 to April-1997
Doctor of Philosophy, July-1998 :
Department of
Computer Science and Automation, Indian
Institute of Science, Bangalore,
India.
Thesis Title : AMI -
The Language and its Implementation.
Master
of Science ( Engineering ), 1990
: Department of
Computer Science and Automation, Indian
Institute of Science, Bangalore,
India
Thesis Title : A
Parallelizing Compiler for Pascal.
Bachelor
of Engineering ( Civil Engineering ),
1987 : M. S.
University of Baroda, Baroda,
India.
Project title : High Rise
Buildings.
Compiler verification: a bibliography, Maulik A. Dave, ACM SIGSOFT Software Engineering Notes, Volume 28 , Issue 6, ISSN:0163-5948, November 2003.
Distribution of Dynamic Data Structures on a Multi-processor, Maulik A. Dave and Y. N. Srikant, International Conference on High Performance Computing, New Delhi, India, December 1995.
A Parallelizing Compiler for Pascal, Maulik A. Dave and Y. N. Srikant, The Journal of Indian Institute of Science, March-April 1991.
Program Analysis based Model Checking Tool, at http://www.oocities.org/compiler00/dave3.pdf, 2004.
Checking Compiler Models by SPIN at http://www.oocities.org/compiler00/dave2.html, 2004.
Compiler Verification : A Brief History at http://www.oocities.org/compiler00/dave1.html, 2003.
Sheshgiri Kaikini Best Thesis Award - 1998, conferred for indigenous work in the PhD by Indian Institute of Science, Bangalore, India.
Special CDAC Award - 1996 , conferred in the category System Software for Distributed Memoty Machines for developing software on the parallel supercomputer-PARAM by Center for Development of Advanced Computing, Bangalore, India.
Chairman, Students Council, Indian Institute of Science, Bangalore, INDIA, 1992-93
Site Last Updated on August 16, 2005