C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Anton Xue
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 11
Top Topics
Constraint Solver
Neural Network
Schema Matching
Symbolic Execution
Top Venues
CoRR
L4DC
VMCAI
PLDI
</>
Publications
</>
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)