Rem Yang -

Registered user since Sun 3 Oct 2021

Name:Rem Yang

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Personal website: https://remyang55.github.io/

GitHub: https://github.com/remyang55

Research interests:Programming Languages, Machine Learning

Contributions

2023

PLDI

Author of A general construction for abstract interpretation of higher-order automatic differentiation within the PLDI Research Papers-track

2022

SPLASH

Author of A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation within the OOPSLA-track

POPL

Author of A Dual Number Abstraction for Static Analysis of Clarke Jacobians within the POPL-track