Kia Rahmani

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