Lexical Co-occurrence, Statistical Significance, and Word Association. - Dipak L. Chaudhari; Om P. Damani; Srivatsan Laxman (EMNLP, 2011)

Generating Hierarchical State Based Representation From Event-B Models. - Dipak L. Chaudhari; Om P. Damani (B@FM, 2011)

Automated Theorem Prover Assisted Program Calculations. - Dipak L. Chaudhari; Om P. Damani (IFM, 2014)

Introducing Formal Methods via Program Derivation. - Dipak L. Chaudhari; Om P. Damani (ITiCSE, 2015)

Combining Top-Down and Bottom-Up Techniques in Program Derivation. - Dipak L. Chaudhari; Om P. Damani (LOPSTR, 2015)

Building an IDE for the Calculational Derivation of Imperative Programs. - Dipak L. Chaudhari; Om P. Damani (F-IDE, 2015)

Assumption propagation through annotated programs. - Dipak L. Chaudhari; Om P. Damani (Formal Aspects Comput., 2017)

HOUDINI: Lifelong Learning as Program Synthesis. - Lazar Valkov; Dipak Chaudhari; Akash Srivastava; Charles Sutton; Swarat Chaudhuri (NeurIPS, 2018)

Synthesis of Differentiable Functional Programs for Lifelong Learning. - Lazar Valkov; Dipak Chaudhari; Akash Srivastava; Charles Sutton; Swarat Chaudhuri (CoRR, 2018)

Neural Program Generation Modulo Static Analysis. - Rohan Mukherjee 001; Yeming Wen; Dipak Chaudhari; Thomas W. Reps; Swarat Chaudhuri; Christopher M. Jermaine (NeurIPS, 2021)

Meta-Meta Classification for One-Shot Learning. - Arkabandhu Chowdhury; Dipak Chaudhari; Swarat Chaudhuri; Chris Jermaine (WACV, 2022)