Rem Yang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Abstract Interpretation

Backpropagation Algorithm

Static Analysis

Geometric Transformations

Top Venues

Proc. ACM Program. Lang.

Publications

Jayanth Shenoy, Xinjian Davis Zhang, Shlok Mehrotra, Bill Tao, Rem Yang, Han Zhao, Deepak Vasisht
S4: Self-Supervised Sensing Across the Spectrum. CoRR (2024)
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)