Data-Efficient Learning with Neural Programs A Solko-Breslin, S Choi, Z Li, N Velingker, R Alur, M Naik, E Wong arXiv preprint arXiv:2406.06246, 2024 | | 2024 |
Relational Programming with Foundational Models Z Li, J Huang, J Liu, F Zhu, E Zhao, W Dodds, N Velingker, R Alur, M Naik Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10635 …, 2024 | | 2024 |
Chordal sparsity for SDP-based neural network verification A Xue, L Lindemann, R Alur Automatica 161, 111487, 2024 | 1 | 2024 |
Stability guarantees for feature attributions with multiplicative smoothing A Xue, R Alur, E Wong Advances in Neural Information Processing Systems 36, 2024 | 2 | 2024 |
{MuCache}: A General Framework for Caching in Microservice Graphs H Zhang, K Kallas, S Pavlatos, R Alur, S Angel, V Liu 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024 | | 2024 |
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities A Khare, S Dutta, Z Li, A Solko-Breslin, R Alur, M Naik arXiv preprint arXiv:2311.16169, 2023 | 15 | 2023 |
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates A Thakkar, N Sands, G Petrou, R Alur, M Naik, M Raghothaman Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1394-1417, 2023 | | 2023 |
Beyond Differentiability: Neurosymbolic Learning with Black-Box Programs A Solko-Breslin, Z Li, N Velingker, R Alur, M Naik | | 2023 |
Relational Query Synthesis⋈ Decision Tree Learning A Naik, A Thakkar, A Stein, R Alur, M Naik Proceedings of the VLDB Endowment 17 (2), 250-263, 2023 | | 2023 |
Policy synthesis and reinforcement learning for discounted LTL R Alur, O Bastani, K Jothimurugan, M Perez, F Somenzi, A Trivedi International Conference on Computer Aided Verification, 415-435, 2023 | 8 | 2023 |
Robust subtask learning for compositional generalization K Jothimurugan, S Hsu, O Bastani, R Alur International Conference on Machine Learning, 15371-15387, 2023 | 3 | 2023 |
Executing microservice applications on serverless, correctly K Kallas, H Zhang, R Alur, S Angel, V Liu Proceedings of the ACM on Programming Languages 7 (POPL), 367-395, 2023 | 7 | 2023 |
A robust theory of series parallel graphs R Alur, C Stanford, C Watson Proceedings of the ACM on Programming Languages 7 (POPL), 1058-1088, 2023 | 1 | 2023 |
Regular Transformations (Dagstuhl Seminar 23202) R Alur, M Bojańczyk, E Filiot, A Muscholl, S Winter Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 1 | 2023 |
TFQP1: Specification-Guided Reinforcement Learning R Alur, S Bansal, O Bastani, K Jothimurugan | | 2023 |
Specification-Guided Reinforcement Learning R Alur, S Bansal, O Bastani, K Jothimurugan | 3 | 2023 |
A framework for transforming specifications in reinforcement learning R Alur, S Bansal, O Bastani, K Jothimurugan Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 26 | 2022 |
Robust Option Learning for Compositional Generalization K Jothimurugan, S Hsu, O Bastani, R Alur Deep Reinforcement Learning Workshop NeurIPS 2022, 2022 | 1 | 2022 |
Chordal sparsity for lipschitz constant estimation of deep neural networks A Xue, L Lindemann, A Robey, H Hassani, GJ Pappas, R Alur 2022 IEEE 61st Conference on Decision and Control (CDC), 3389-3396, 2022 | 16 | 2022 |
Robust Option Learning for Adversarial Generalization K Jothimurugan, S Hsu, O Bastani, R Alur | | 2022 |