Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacob Laurel
conf.researchr.org general profile
PLDI 2023 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Mon 10 Jan 2022
Name:
Jacob Laurel
Country:
United States
Affiliation:
University of Illinois at Urbana-Champaign
Contributions
2024
LAFI
Author of Abstract Interpretation for Automatic Differentiation within the LAFI 2024-track
2023
SPLASH
Author of Synthesizing Precise Static Analyzers for Automatic Differentiation within the OOPSLA-track
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
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
POPL
Author of A Dual Number Abstraction for Static Analysis of Clarke Jacobians within the POPL-track
2021
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Share
x
Sun 22 Dec 02:06