Publications:

Research Citations:

  1. Maulik A. Dave, “Compiler verification: a bibliography”, ACM SIGSOFT Software Engineering Notes, Volume 28 , Issue 6, ISSN:0163-5948, November 2003.

  2. Maulik A. Dave, “AMI - The Language and its Implementation” , Ph.D. Thesis, Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India, 1998.

  3. Maulik A. Dave and Y. N. Srikant, “Distribution of Dynamic Data Structures on a Multi-processor”, International Conference on High Performance Computing, New Delhi, INDIA, December 1995.

  4. Maulik A. Dave and Y. N. Srikant, “A Parallelizing Compiler for Pascal”, The Journal of Indian Institute of Science, March-April 1991.

  5. Maulik A. Dave, “A Parallelizing Compiler for Pascal”, M.S. Thesis, Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India, 1990.

  6. Maulik A. Dave, “High Rise Buildings”, B.E. Final Year Project Report, Faculty of Technology, and Engineering, M. S. University of Baroda, Baroda, India, 1986.

Technical Reports:

  1. Maulik A. Dave ,”Program Analysis based Model Checking Tool”, Technical Reports from Dr Maulik A. Dave on Web, Report No.3 at http://www.oocities.org/compiler00/dave3.pdf, March 2004.

  2. Maulik A. Dave ,”Checking Compiler Models by SPIN”, Technical Reports from Dr Maulik A. Dave on Web, Report No. 2 at http://www.oocities.org/compiler00/dave2.html, January 2004.

  3. Maulik A. Dave ,”Compiler Verification: A Brief History”, Technical Reports from Dr Maulik A. Dave on Web, Report No. 1 at http://www.oocities.org/compiler00/dave1.html, December 2003.

Published Reviews of Books:

  1. Maulik A. Dave, Review of “"Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002” Review done by Maulik A. Dave, published in ACM SIGACT Newsletter, Volume 36, Issue 4, December 2005.

  2. Maulik A. Dave, Review of “Validated designs for object-oriented systems by Fitzgerald J., Larsen P., Mukherjee P., Plat N., Verhoef M., Springer-Verlag Telos, 2005 ”, ACM Computing Reviews (http://www.reviews.com), June 2005 (print – May, 2006).

  3. Maulik A. Dave, Review of “Holub on patterns: learning design patterns by looking at code by Holub A., APress, 2004.”, ACM Computing Reviews (http://www.reviews.com), April 2005 (print - February, 2006).

  4. Maulik A. Dave, "Numerical Programming on Networks of Computers," IEEE Distributed Systems Online, vol. 5, no. 11, 2004. (Review of “Parallel Computing on Heterogeneous Networks, By Alexey L. Lastovetsky, John Wiley & Sons, 2004, ISBN 0-471-22982-2”).

  5. Maulik A. Dave, Review of “Enterprise development with Visual Studio .NET, UML, and MSF by Thomsen C., Hansen J., APress L. P., 2002.”, ACM Computing Reviews (http://www.reviews.com), August 2004.

  6. Maulik A. Dave, Review of “Term rewriting systems by Klop J.;Bezem M.;Vrijer R.(ed), Cambridge University Press, New York, NY, 2001.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), August 2003 (print – December 2003).

  7. Maulik A. Dave, Review of “Compiler design handbook: optimizations and machine code generation by Srikant Y.;Shankar P. CRC Press, Inc., Boca Raton, FL, 2002.” Review done by Maulik A. Dave, published in ACM Computing Reviews  (http://www.reviews.com), May 2003. ( print - September 2003 ).

  8. Maulik A. Dave, Review of “Clausal Theory of Types by D. A. Wolfram.” Review done by Maulik A. Dave, published in ACM SIGACT Newsletter, December 2002.

  9. Maulik A. Dave, Review of “Transactional COM+: building scalable applications by Ewald T.Addison-Wesley Longman Ltd., Essex, UK, 2001.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), July 2002. ( print - November 2002).

Published Reviews of Research Papers:

  1. Maulik A. Dave, Review of “On the existence of large sets of t-designs of prime sizes by Tayfeh-Rezaie B. Designs, Codes and Cryptography 37(1): 143-149, 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), June, 2006.

  2. Maulik A. Dave, Review of “Dynamic software updating by Hicks M., Nettles S. ACM Transactions on Programming Languages and Systems 27(6): 1049-1096, 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), May, 2006.

  3. Maulik A. Dave, Review of “CPS transformation of beta-redexes by Danvy O., Nielsen L. Information Processing Letters 94(5): 217-224, 2005. ” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), February, 2006.

  4. Maulik A. Dave, Review of “Formalising Java RMI with explicit code mobility by Ahern A., Yoshida N. Object oriented programming systems languages and applications (Proceedings of the 20th Annual ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, San Diego, CA, Oct 16-20, 2005) 403-422. 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), April, 2006.

  5. Maulik A. Dave, Review of “Unpredication, unscheduling, unspeculation: reverse engineering Itanium executables by Snavely N., Debray S., Andrews G. IEEE Transactions on Software Engineering 31(2): 99-115, 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), November, 2005 (print – June, 2006).

  6. Maulik A. Dave, Review of “Instruction packing: reducing power and delay of the dynamic scheduling logic by Sharkey J., Ponomarev D., Ghose K., Ergin O. Low power electronics and design (Proceedings of the 2005 International Symposium on Low Power Electronics and Design, San Diego, CA, USA, Aug 8-10, 2005),30-35. 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), October, 2005.

  7. Maulik A. Dave, Review of “Substring search and repeat search using factor oracles by Kato R., Watanabe O. Information Processing Letters 93(6): 269-274, 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), August, 2005 (print – February, 2006).

  8. Maulik A. Dave, Review of “The UCSC Kestrel parallel processor by Di Blas A., Dahle D., Diekhans M., Grate L., Hirschberg J., Karplus K., Keller H., Kendrick M., ., Pease D., Rice E., Schultz A., Speck D., Hughey R. IEEE Transactions on Parallel and Distributed Systems 16(1): 80-92, 2005.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), July, 2005.

  9. Maulik  A.  Dave,  Review  of  “Formally verifying information flow type systems for concurrent and thread systems by Barthe G., Nieto L. Formal methods in security engineering (Proceedings of the 2004 ACM Conference on Formal Methods in Security Engineering, Washington DC, USA, Oct 29, 200413-22, 2004.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   January, 2005 (print - September, 2005).

  10. Maulik  A.  Dave,  Review  of  “Time optimal software pipelining of loops with control flows by Yun H., Kim J., Moon S. International Journal of Parallel Programming 31(5): 339-391, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   November  2004 (print – May, 2005).

  11. Maulik  A.  Dave,  Review  of  “Refinement of hybrid systems: from formal models to design languages by Romberg J., Grimm C. In Languages for system specification. Norwell, MA: KLUWER ACADEMIC PUBLISHERS, 2004.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   October  2004(print – May, 2005).

  12. Maulik  A.  Dave,  Review  of  “Web engineering with the visual software circuit board by Avoyan H., Levine B. World Wide Web (Alternate track papers & posters of the Proceedings of the 13th International World Wide Web Conference, New York, NY, USA, May 19-21, 2004), 216-217, 2004.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   October  2004 (print – July, 2005).

  13. Maulik  A.  Dave,  Review  of  “Building continuous webbed models for system F by Berardi S., Berline C. Theoretical Computer Science 315(1): 3-34, 2004.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   September  2004.

  14. Maulik A. Dave, Review of “The BEACH application model and software framework for synchronous collaboration in ubiquitous computing environments by Tandler P. Journal of Systems and Software 69(3): 267-296, 2004.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   August  2004 (print - February, 2005).

  15. Maulik  A.  Dave,  Review  of  “Dealing efficiently with data-center disasters  by  Frølund S., Pedone F.  Journal of Parallel and Distributed Computing 63(11): 1064-1081, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   March  2004 (print - September 2004).

  16. Maulik  A.  Dave,  Review  of  “Emulation of an unconventional model of computation in Java  by  Delaney A., Naughton T.  Intermediate representation engineering for virtual machines, 2002, (Dublin, Ireland, Jun 13-14, 2002)Maynooth, County Kildare, Ireland:2002, 1-6.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   March  2004 (print – August 2004).

  17. Maulik  A.  Dave,  Review  of  “Incorporating memory layout in the modeling of message passing programs  by  Seinstra F., Koelma D. Journal of Systems Architecture: the EUROMICRO Journal 49(3): 109-121, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   January  2004 (print – June 2004).

  18. Maulik  A.  Dave,  Review  of  “Split-path enhanced pipeline scheduling  by  Shim S., Moon S. IEEE Transactions on Parallel and Distributed Systems 14(5): 447-462, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   December  2003 (print – April 2004).

  19. Maulik  A.  Dave,  Review  of  “A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction  by  Koo S., Son H., Seong P. Journal of Systems and Software 67(3): 213-224, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   October  2003 (print – March 2004).

  20. Maulik  A.  Dave,  Review  of  “Formalized epistemology, logic, and grammar  by  Bitbol M. In Quantum mechanics, mathematics, cognition and action. Norwell, MA: Kluwer Academic Publishers, 2002.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   September  2003 (print – December 2003).

  21. Maulik  A.  Dave,  Review  of  “Real-time streaming of environmental field data  by  Vivoni E., Camilli R. Computers & Geosciences 29(4): 457-468, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   September  2003 (print – January 2004).

  22. Maulik  A.  Dave,  Review  of  “Operational equivalence for interaction nets  by   Fernández M., Mackie I. Theoretical Computer Science 297(1-3): 157-181, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   July  2003.  (print  -  November  2003)

  23. Maulik  A.  Dave,  Review  of  “Learning rough set classifiers from gene expressions and clinical data  by  Midelfart H., Komorowski J., Nørsett K., Yadetie F., Sandvik A., Lægreid A. Fundamenta Informaticae 53(2): 155-183, 2002.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   June  2003. (print - October, 2003)

  24. Maulik  A.  Dave,  Review  of  “Stack inspection: Theory and variants  by  Fournet C., Gordon A. ACM Transactions on Programming Languages and Systems 25(3): 360-399, 2003.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),   May  2003 (print – August 2003).

  25. Maulik  A.  Dave,  Review  of  “Diagnosability of crossed cubes under the comparison diagnosis model: facts and fallacies  by  Fan J.   IEEE Transactions on Parallel and Distributed Systems 13(7): 687-692, 2002.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),  February  2003. ( print  -  May  2003).

  26. Maulik  A.  Dave,  Review  of  “Distributed-memory concepts in the wave model WAVEWATCH III: a guide for programmers and technical managers  by  Tolman H.   Parallel Computing 28(1): 35-52, 2002.”  Review  done  by  Maulik  A.  Dave,  published  in  ACM  Computing  Reviews  (http://www.reviews.com),  December  2002.  (print  -  February  2003).

  27. Maulik A. Dave, Review of “A general theory for deadlock-free adaptive routing using a mixed set of resources: a guide for programmers and technical managers by Duato J., Pinkston T. IEEE Transactions on Parallel and Distributed Systems 12(12): 1219-1235, 2001.” Review done by Maulik A. Dave, published in ACM Computing Reviews (http://www.reviews.com), November 2002. (print - February 2003).