关注
Kia Rahmani
Kia Rahmani
Postdoctoral Fellow, University of Texas at Austin
在 utexas.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis
K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
682021
CLOTHO: directed test generation for weakly consistent database systems
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
242019
Repairing serializability bugs in distributed database programs via automated schema refactoring
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
82021
Programming-by-demonstration for long-horizon robot tasks
N Patton, K Rahmani, M Missula, J Biswas, I Dillig
Proceedings of the ACM on Programming Languages 8 (POPL), 512-545, 2024
7*2024
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations
J Xin, L Zheng, K Rahmani, J Wei, J Holtz, I Dillig, J Biswas
IEEE Robotics and Automation Letters, 2024
4*2024
Fine-grained distributed consistency guarantees with effect orchestration
K Rahmani, G Kaki, S Jagannathan
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
4*2018
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
A Banerjee, K Rahmani, J Biswas, I Dillig
arXiv preprint arXiv:2405.13863, 2024
2024
Multi-modal program inference
AT Kiarash RAHMANI, Mohammad Raza, Sumit Gulwani, Vu Minh Le, Daniel James ...
US Patent US20230176829A1, 2023
2023
SYMBOLIC ANALYSIS OF WEAK CONCURRENCY SEMANTICS IN MODERN DATABASE PROGRAMS
K Rahmani
Purdue University, 2022
2022
A Proof of Cut-Elimination Theorem for U Logic.
K Rahmani
2014
系统目前无法执行此操作,请稍后再试。
文章 1–10