Volgen
Kia Rahmani
Kia Rahmani
Postdoctoral Fellow, University of Texas at Austin
Geverifieerd e-mailadres voor utexas.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
592021
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
222019
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9