We stand with Ukraine  

Dipak Chaudhari

Affiliations:
  • University of Texas at Austin, Department of Computer Science, TX, USA
  • Rice University, Department of Computer Science, Houston, TX, USA
  • Indian Institute of Technology Bombay (IIT Bombay), Department of Computer Science and Engineering, India (PhD)


According to our database1, Dipak Chaudhari authored at least 11 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Meta-Meta Classification for One-Shot Learning.
[BibTeX]
[DOI]
Arkabandhu Chowdhury
,
Dipak Chaudhari
,
Swarat Chaudhuri
,
Chris Jermaine
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

2021
Neural Program Generation Modulo Static Analysis.
[BibTeX]
[DOI]
Rohan Mukherjee
,
Yeming Wen
,
Dipak Chaudhari
,
Thomas W. Reps
,
Swarat Chaudhuri
,
Christopher M. Jermaine
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2018
Synthesis of Differentiable Functional Programs for Lifelong Learning.
[BibTeX]
[DOI]
Lazar Valkov
,
Dipak Chaudhari
,
Akash Srivastava
,
Charles Sutton
,
Swarat Chaudhuri
CoRR, 2018

HOUDINI: Lifelong Learning as Program Synthesis.
[BibTeX]
[DOI]
Lazar Valkov
,
Dipak Chaudhari
,
Akash Srivastava
,
Charles Sutton
,
Swarat Chaudhuri
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017
Assumption propagation through annotated programs.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Formal Aspects Comput., 2017

2015
Building an IDE for the Calculational Derivation of Imperative Programs.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Combining Top-Down and Bottom-Up Techniques in Program Derivation.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Introducing Formal Methods via Program Derivation.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

2014
Automated Theorem Prover Assisted Program Calculations.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2011
Generating Hierarchical State Based Representation From Event-B Models.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
Proceedings of the B 2011 Workshop, 2011

Lexical Co-occurrence, Statistical Significance, and Word Association.
[BibTeX]
[DOI]
Dipak L. Chaudhari
,
Om P. Damani
,
Srivatsan Laxman
Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 2011


  Loading...