关注
Anton Xue
标题
引用次数
引用次数
年份
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
332021
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
212019
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
162022
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
72021
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
52021
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
52017
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
22024
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
系统目前无法执行此操作,请稍后再试。
文章 1–11