Folgen
Kia Rahmani
Kia Rahmani
Postdoctoral Fellow, University of Texas at Austin
Bestätigte E-Mail-Adresse bei utexas.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9