Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis
Rahmani, Kia, Raza, Mohammad, Gulwani, Sumit, Le, Vu, Morris, Daniel, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations
Xin, Jimmy, Zheng, Linus, Rahmani, Kia, Wei, Jiayi, Holtz, Jarrett, Dillig, Isil, Biswas, Joydeep
Published in IEEE robotics and automation letters (01.06.2024)
Published in IEEE robotics and automation letters (01.06.2024)
Get full text
Journal Article
CLOTHO: directed test generation for weakly consistent database systems
Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Programming-by-Demonstration for Long-Horizon Robot Tasks
Patton, Noah, Rahmani, Kia, Missula, Meghana, Biswas, Joydeep, Dillig, Işıl
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
Programming-by-Demonstration for Long-Horizon Robot Tasks
Patton, Noah, Rahmani, Kia, Missula, Meghana, Biswas, Joydeep, Dillig, Işil
Published in arXiv.org (15.11.2023)
Published in arXiv.org (15.11.2023)
Get full text
Paper
Journal Article
Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
Xin, Jimmy, Zheng, Linus, Rahmani, Kia, Wei, Jiayi, Holtz, Jarrett, Dillig, Isil, Biswas, Joydeep
Published in arXiv.org (04.04.2024)
Published in arXiv.org (04.04.2024)
Get full text
Paper
Journal Article
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh
Published in arXiv.org (09.03.2021)
Published in arXiv.org (09.03.2021)
Get full text
Paper
Journal Article
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Rahmani, Kia, Raza, Mohammad, Gulwani, Sumit, Le, Vu, Morris, Daniel, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish
Year of Publication 03.09.2021
Year of Publication 03.09.2021
Get full text
Journal Article
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh
Published in arXiv.org (15.08.2019)
Get full text
Published in arXiv.org (15.08.2019)
Paper