Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohit Tekriwal
conf.researchr.org general profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2025 profile
POPL 2025 profile
Not registered as user
Name:
Mohit Tekriwal
Country:
United States
Affiliation:
Lawrence Livermore National Laboratory
Contributions
2025
Static Analysis Symposium
Committee Member in Program Committee within the SAS 2025-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
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
Thu 4 Sep 20:24