Data-Driven System Level Synthesis A Xue, N Matni Learning for Dynamics and Control, 189-200, 2021 | 41 | 2021 |
Safe Reinforcement Learning via Statistical Model Predictive Shielding O Bastani, S Li, A Xue Robotics: Science and Systems, 1-13, 2021 | 33 | 2021 |
Lazy Counterfactual Symbolic Execution WT Hallahan, A Xue, MT Bland, R Jhala, R Piskac Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 21 | 2019 |
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 |
G2Q: Haskell Constraint Solving WT Hallahan, A Xue, R Piskac Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019 | 8 | 2019 |
A Self-Certifying Compilation Framework for WebAssembly KS Namjoshi, A Xue Proceedings of the International Conference on Verification, Model Checking …, 2021 | 7 | 2021 |
Synchronization Schemas R Alur, P Hilliard, ZG Ives, K Kallas, K Mamouras, F Niksic, C Stanford, ... Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021 | 5 | 2021 |
Building a Symbolic Execution Engine for Haskell W Hallahan, A Xue, R Piskac Proceedings of the 8th Workshop on Tools for Automatic Program Analysis …, 2017 | 5 | 2017 |
Chordal Sparsity for SDP-based Neural Network Verification A Xue, L Lindemann, R Alur Automatica, 2024 | 4* | 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 |
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks C Zhu, Z Li, A Xue, AP Bajaj, W Gibbs, Y Liu, R Alur, T Bao, H Dai, ... | | 2024 |