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
272021
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
112019
A Self-certifying Compilation Framework for WebAssembly
KS Namjoshi, A Xue
Proceedings of the International Conference on Verification, Model Checking …, 2021
42021
G2Q: Haskell constraint solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
42019
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
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
22021
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
A Xue, L Lindemann, A Robey, H Hassani, GJ Pappas, R Alur
arXiv preprint arXiv:2204.00846, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7