| Data-Driven System Level Synthesis A Xue, N Matni Learning for Dynamics and Control, 189-200, 2021 | 27 | 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 | 11 | 2019 |
| A Self-certifying Compilation Framework for WebAssembly KS Namjoshi, A Xue Proceedings of the International Conference on Verification, Model Checking …, 2021 | 4 | 2021 |
| G2Q: Haskell Constraint Solving WT Hallahan, A Xue, R Piskac Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019 | 4 | 2019 |
| 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 | 4 | 2017 |
| 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 | 2 | 2021 |
| 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 | 1 | 2022 |
| Parametric Chordal Sparsity for SDP-based Neural Network Verification A Xue, L Lindemann, R Alur arXiv preprint arXiv:2206.03482, 2022 | | 2022 |
William T. HallahanYale UniversityVerified email at yale.edu
