• Sign in
  • Sign up
conf.researchr.org / Mohit Tekriwal
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • NASA Formal Methods 2024 profile
Mohit Tekriwal

Registered user since Mon 8 Apr 2024

Name:Mohit Tekriwal
Country:United States
Affiliation:Lawrence Livermore National Laboratory

Contributions

2025

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2024

ICFP

  • Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

NFM

  • Author of Formalization of asymptotic convergence for Stationary Iterative Methods within the NFM 2024-track
Share
xTue 20 May 19:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up