Anton Xue

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Schema Integration

Constraint Solver

Symbolic Execution

Semidefinite Program

Top Venues

USENIX Security Symposium

Publications

Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. USENIX Security Symposium (2024)
Anton Xue, Lars Lindemann, Rajeev Alur
Chordal sparsity for SDP-based neural network verification. Autom. 161 (2024)
Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. CoRR (2024)
Anton Xue, Rajeev Alur, Eric Wong
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. NeurIPS (2023)
Anton Xue, Rajeev Alur, Eric Wong
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. CoRR (2023)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC (2022)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR (2022)
Anton Xue, Lars Lindemann, Rajeev Alur
Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR (2022)
Kedar S. Namjoshi, Anton Xue
A Self-certifying Compilation Framework for WebAssembly. VMCAI (2021)
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
Synchronization Schemas. PODS (2021)
Anton Xue, Nikolai Matni
Data-Driven System Level Synthesis. L4DC (2021)
Anton Xue, Nikolai Matni
Data-Driven System Level Synthesis. CoRR (2020)
William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
Lazy counterfactual symbolic execution. PLDI (2019)
William T. Hallahan, Anton Xue, Ruzica Piskac
G2Q: Haskell constraint solving. Haskell@ICFP (2019)