1. Typilus: neural type hints
2. Thomas Ball and Jakub Daniel . 2015. Deconstructing Dynamic Symbolic Execution . In Dependable Software Systems Engineering. 40 , IOS Press , 26–41. Thomas Ball and Jakub Daniel. 2015. Deconstructing Dynamic Symbolic Execution. In Dependable Software Systems Engineering. 40, IOS Press, 26–41.
3. Boogie: A Modular Reusable Verifier for Object-Oriented Programs
4. Guillaume Baudart , Martin Hirzel , Kiran Kate , Parikshit Ram , and Avraham Shinnar . 2020 . Lale: Consistent Automated Machine Learning. In KDD Workshop on Automation in Machine Learning (AutoML@KDD). arxiv:2007 .01977 Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, and Avraham Shinnar. 2020. Lale: Consistent Automated Machine Learning. In KDD Workshop on Automation in Machine Learning (AutoML@KDD). arxiv:2007.01977
5. Guillaume Baudart Martin Hirzel Kiran Kate Parikshit Ram Avraham Shinnar and Jason Tsay. 2021. Pipeline Combinators for Gradual AutoML. In Advances in Neural Information Processing Systems (NeurIPS). https://proceedings.neurips.cc/paper/2021/file/a3b36cb25e2e0b93b5f334ffb4e4064e-Paper.pdf Guillaume Baudart Martin Hirzel Kiran Kate Parikshit Ram Avraham Shinnar and Jason Tsay. 2021. Pipeline Combinators for Gradual AutoML. In Advances in Neural Information Processing Systems (NeurIPS). https://proceedings.neurips.cc/paper/2021/file/a3b36cb25e2e0b93b5f334ffb4e4064e-Paper.pdf