Sign in
Rem Yang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Static Analysis
Abstract Interpretation
Geometric Transformations
Closed Form
Top Venues
Proc. ACM Program. Lang.
CoRR
ICLR
DAC
</>
Publications
</>
Rem Yang
,
Jacob Laurel
,
Sasa Misailovic
,
Gagandeep Singh
Provable Defense Against Geometric Transformations.
ICLR
(2023)
Jacob Laurel
,
Rem Yang
,
Shubham Ugare
,
Robert Nagel
,
Gagandeep Singh
,
Sasa Misailovic
A general construction for abstract interpretation of higher-order automatic differentiation.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)
Jacob Laurel
,
Rem Yang
,
Gagandeep Singh
,
Sasa Misailovic
A dual number abstraction for static analysis of Clarke Jacobians.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Rem Yang
,
Jacob Laurel
,
Sasa Misailovic
,
Gagandeep Singh
Training Certifiably Robust Neural Networks Against Semantic Perturbations.
CoRR
(2022)
Jacob Laurel
,
Rem Yang
,
Atharva Sehgal
,
Shubham Ugare
,
Sasa Misailovic
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
DAC
(2021)