Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohit Tekriwal
conf.researchr.org general profile
ICFP 2024 profile
POPL 2025 profile
Not registered as user
Name:
Mohit Tekriwal
Country:
United States
Affiliation:
Lawrence Livermore National Laboratory
Contributions
2025
CoqPL
Author of Towards Verified Linear Algebra Programs Through Equivalence within the CoqPL 2025-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2024
FUNARCH
Author of Design and implementation of a verified interpreter for additive manufacturing programs within the FUNARCH 2024-track
Share
x
Sun 22 Dec 14:56