Kia Rahmani

According to our database, Kia Rahmani authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Programming-by-Demonstration for Long-Horizon Robot Tasks.

Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig

Proc. ACM Program. Lang., January, 2024

2023

Program Synthesis for Robot Learning from Demonstrations.

Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig

CoRR, 2023

PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations.

Jimmy Xin, Linus Zheng, Jiayi Wei, Kia Rahmani, Jarrett Holtz, Isil Dillig, Joydeep Biswas

CoRR, 2023

2021

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2021

Repairing serializability bugs in distributed database programs via automated schema refactoring.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

CLOTHO: directed test generation for weakly consistent database systems.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

2018

Fine-grained distributed consistency guarantees with effect orchestration.

Kia Rahmani, Gowtham Kaki, Suresh Jagannathan

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018