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
192021
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
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
G2Q: Haskell constraint solving
WT Hallahan, A Xue, R Piskac
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 44-57, 2019
32019
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
2021
A Self-certifying Compilation Framework for WebAssembly
KS Namjoshi, A Xue
International Conference on Verification, Model Checking, and Abstract …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6