Welcome  to  the  Technical  Page  of  

Dr.  Maulik  A.  Dave 

|  Resume  |  Publications  |  Career  Graph  |  E-mail  |  Guest  book

Current  areas  of  interest  :

• 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).

Companies Owned :

• Vivechan, Inc., Atlanta, GA, USA. : 2004 onwards.

Companies  Worked  with  :

• 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

Educational  Qualifications  :

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.

Publications  :

• 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.

Technical  Reports  :

• 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.

Awards  :

• 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.

Extra  Activities  :

Chairman,  Students  Council,  Indian  Institute  of  Science,  Bangalore,  INDIA, 1992-93

Site  Last  Updated  on  August 16,  2005