Follow
Anton Xue
Title
Cited by
Cited by
Year
Data-Driven System Level Synthesis
A Xue, N Matni
Learning for Dynamics and Control, 189-200, 2021
412021
Safe Reinforcement Learning via Statistical Model Predictive Shielding
O Bastani, S Li, A Xue
Robotics: Science and Systems, 1-13, 2021
302021
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
182019
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
132022
G2Q: Haskell Constraint Solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
82019
A Self-Certifying Compilation Framework for WebAssembly
KS Namjoshi, A Xue
Proceedings of the International Conference on Verification, Model Checking …, 2021
62021
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
42021
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
42017
Stability guarantees for feature attributions with multiplicative smoothing
A Xue, R Alur, E Wong
Advances in Neural Information Processing Systems 36, 2024
22024
Chordal Sparsity for SDP-based Neural Network Verification
A Xue, L Lindemann, R Alur
arXiv preprint arXiv:2206.03482, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–10