Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. - Jacob Laurel; Rem Yang; Atharva Sehgal; Shubham Ugare; Sasa Misailovic (DAC, 2021)

Training Certifiably Robust Neural Networks Against Semantic Perturbations. - Rem Yang; Jacob Laurel; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2022)

A dual number abstraction for static analysis of Clarke Jacobians. - Jacob Laurel; Rem Yang; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

A general construction for abstract interpretation of higher-order automatic differentiation. - Jacob Laurel; Rem Yang; Shubham Ugare; Robert Nagel; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

Provable Defense Against Geometric Transformations. - Rem Yang; Jacob Laurel; Sasa Misailovic; Gagandeep Singh 001 (ICLR, 2023)

S4: Self-Supervised Sensing Across the Spectrum. - Jayanth Shenoy; Xingjian Davis Zhang; Shlok Mehrotra; Bill Tao; Rem Yang; Han Zhao 002; Deepak Vasisht (CoRR, 2024)

Self-Supervised Learning across the Spectrum. - Jayanth Shenoy; Xingjian Davis Zhang; Bill Tao; Shlok Mehrotra; Rem Yang; Han Zhao 002; Deepak Vasisht (Remote. Sens., 2024)

Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning. - Rem Yang; Julian Dai; Nikos Vasilakis; Martin C. Rinard (CoRR, 2025)