Mohit Tekriwal

15 papers B 1C 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Mechanized Semantics for Correctness of the RS274 Additive Manufacturing Command Language.
NFM
Mohit Tekriwal, Matthew J. Sottile
2025 — conf
Towards Richer Challenge Problems for Scientific Computing Correctness.
VSS@ETAPS
Matthew J. Sottile, Mohit Tekriwal, John Sarracino
2025 J jnl
Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs.
CoRR
Mohit Tekriwal, John Sarracino
2024 — conf
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report).
FUNARCH
Matthew J. Sottile, Mohit Tekriwal
2024 — conf
Formalization of Asymptotic Convergence for Stationary Iterative Methods.
NFM
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
2024 — conf
Formally verified asymptotic consensus in robust networks.
TACAS (1)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2023 C conf
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.
ARITH
Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel
2023 C conf
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
CICM
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
2022 B conf
Dandelion: Certified Approximations of Elementary Functions.
ITP
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Dandelion: Certified Approximations of Elementary Functions.
CoRR
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Formal verification of iterative convergence of numerical algorithms.
CoRR
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
2022 J jnl
Formally verified asymptotic consensus in robust networks.
CoRR
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2022 — conf
Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
Correctness@SC
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
2021 — conf
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.
NFM
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
2021 J jnl
A formal proof of the Lax equivalence theorem for finite difference schemes.
CoRR
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin