Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Hueckelheim
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PPoPP 2022 profile
Registered user since Wed 9 Mar 2022
Name:
Jan Hueckelheim
Affiliation:
Argonne National Laboratory
Contributions
2025
SPLASH
Author of Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers within the OOPSLA-track
2022
Principles and Practice of Parallel Programming
Author of POSTER: Automatic Differentiation of Parallel Loops with Formal Methods within the Main Conference-track
Share
x
Mon 27 Oct 22:51