Mohit Tekriwal

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Iterative Methods

Image Enhancement

Top Venues

Publications

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Formalization of Asymptotic Convergence for Stationary Iterative Methods. NFM (2024)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
Formally verified asymptotic consensus in robust networks. TACAS (1) (2024)
Matthew J. Sottile, Mohit Tekriwal
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report). FUNARCH (2024)
Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. ARITH (2023)
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. CICM (2023)
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Formal verification of iterative convergence of numerical algorithms. CoRR (2022)
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Correctness@SC (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. ITP (2022)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
Formally verified asymptotic consensus in robust networks. CoRR (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. CoRR (2022)
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes. NFM (2021)
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
A formal proof of the Lax equivalence theorem for finite difference schemes. CoRR (2021)