​
Login / Signup
Mohit Tekriwal
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 12
Top Topics
Iterative Methods
Formal Proofs
Image Enhancement
Gauss Seidel
Top Venues
CoRR
NFM
ITP
TACAS (1)
</>
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)