Kia Rahmani

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Concurrency Control Algorithms

Read Only Transactions

Reinforcement Learning

Top Venues

Proc. ACM Program. Lang.

IEEE Robotics Autom. Lett.

Publications

Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
Programming-by-Demonstration for Long-Horizon Robot Tasks. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jimmy Xin, Linus Zheng, Kia Rahmani, Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations. IEEE Robotics Autom. Lett. 9 (6) (2024)
Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning. CoRR (2024)
Jimmy Xin, Linus Zheng, Jiayi Wei, Kia Rahmani, Jarrett Holtz, Isil Dillig, Joydeep Biswas
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations. CoRR (2023)
Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
Program Synthesis for Robot Learning from Demonstrations. CoRR (2023)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR (2021)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR (2021)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI (2021)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Fine-grained distributed consistency guarantees with effect orchestration. PaPoC@EuroSys (2018)