Segui
Kia Rahmani
Kia Rahmani
Postdoctoral Fellow, University of Texas at Austin
Email verificata su utexas.edu - Home page
Titolo
Citata da
Citata da
Anno
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
572021
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
212019
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
72021
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
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
3*2024
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
3*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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–9