Dipak Chaudhari

 

Research Scholar
Department of Computer Science and Engineering
Indian Institute of Technology, Bombay

 

SIA-305, KReSIT, IIT Bombay
AAAdipakc@cse.iitb.ac.in (remove AAA, unless you are a spammer)

 

I am currently pursuing PhD in the Department of Computer Science and Engineering at IIT Bombay, Mumbai. I am working under the supervision of Prof. Om Damani.

Research Interests

My research interests are in the areas of correct-by-construction program development, Formal Methods, and Logic. I am currently working on the synthesis of programs from the formal specifications. I have also worked in the area of Natural Language Processing in the past.

Publications

        Assumption Propagation Through Annotated Programs - Dipak L. Chaudhari and Om P. Damani. Formal Aspects of Computing (2016), 1-36 (doi:10.1007/s00165-016-0395-x)

        Building an IDE for the Calculational Derivation of Imperative Programs - Dipak L. Chaudhari and Om P. Damani. Workshop on Formal-IDE, F-IDE 2015.

        Combining Top-down and Bottom-up Techniques in Program Derivation - Dipak L. Chaudhari and Om P. Damani. 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015.

        Introducing Formal Methods via Program Derivation - Dipak L. Chaudhari and Om P. Damani. Accepted for publication in 20th Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2015.

        Automated Theorem Prover Assisted Program Calculations - Dipak L. Chaudhari and Om P. Damani. The 11th International Conference on Integrated Formal Methods, IFM 2014.

        Wikipedia is a practical alternative to the Web for measuring Co-occurrence based Word Association - Om P. Damani, Pankhil Chedda, and Dipak Chaudhari. 4th Conference on Language and Technology, CLT 2012.

        Generating Hierarchical State Based Representation From Event-B Models - Dipak L. Chaudhari and Om P. Damani. Electronic Notes in Theoretical Computer Science, Volume 280, Pages 35-46, 2011.

        Lexical Co-occurrence, Statistical Significance, and Word Association - Dipak L. Chaudhari, Om P. Damani, and Srivatsan Laxman Conference on Empirical Methods on Natural Language Processing, EMNLP 2011.

Presentations/Talks

        Formal Methods Update Meeting 2014, IIT Kharagpur

Title: Automated Theorem Prover Assisted Program Calculations.

        ACM India Annual Day, IIT Delhi 2014.
Title: Derivation of Imperative Programs from Formal Specifications.

        VTSA Summer School 2013: Verification Technology, Systems & Applications, INRIA Nancy
Student Talk, Title: Derivation of Imperative Programs from Formal Specifications.

Teaching Assistantship

        CS420 Program Derivation - 2014

        CS420 Program Derivation - 2010

        CS213 Data Structures and Algorithms 2009