Meta-Meta Classification for One-Shot Learning - Arkabandhu Chowdhury; Dipak Chaudhari; Swarat Chaudhuri; Chris Jermaine (IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022, Waikoloa, HI, USA, January 3-8, 2022, 2022)

Neural Program Generation Modulo Static Analysis - Rohan Mukherjee; Yeming Wen; Dipak Chaudhari; Thomas W. Reps; Swarat Chaudhuri; Christopher M. Jermaine (Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, 2021)

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

Meta-Meta-Classification for One-Shot Learning - Arkabandhu Chowdhury; Dipak Chaudhari; Swarat Chaudhuri; Chris Jermaine (CoRR, 2020)

HOUDINI: Lifelong Learning as Program Synthesis - Lazar Valkov; Dipak Chaudhari; Akash Srivastava; Charles Sutton; Swarat Chaudhuri (Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada, 2018)

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

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

Introducing Formal Methods via Program Derivation - Dipak L. Chaudhari; Om P. Damani (Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July 4-8, 2015, 2015)

Combining Top-Down and Bottom-Up Techniques in Program Derivation - Dipak L. Chaudhari; Om P. Damani (Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, 2015)

Building an IDE for the Calculational Derivation of Imperative Programs - Dipak L. Chaudhari; Om P. Damani (Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015, 2015)

Automated Theorem Prover Assisted Program Calculations - Dipak L. Chaudhari; Om P. Damani (Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014)

Lexical Co-occurrence, Statistical Significance, and Word Association - Dipak L. Chaudhari; Om P. Damani; Srivatsan Laxman (Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, EMNLP 2011, 27-31 July 2011, John McIntyre Conference Centre, Edinburgh, UK, A meeting of SIGDAT, a Special Interest Group of the ACL, 2011)

Generating Hierarchical State Based Representation From Event-B Models - Dipak L. Chaudhari; Om P. Damani (Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, 2011)

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