Mohit Tekriwal

According to our database, Mohit Tekriwal authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formally verified asymptotic consensus in robust networks.

Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Formalization of Asymptotic Convergence for Stationary Iterative Methods.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report).

Matthew J. Sottile, Mohit Tekriwal

Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, 2024

2023

Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.

Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.

Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Formal verification of iterative convergence of numerical algorithms.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

CoRR, 2022

Dandelion: Certified Approximations of Elementary Functions.

Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Towards Verified Rounding Error Analysis for Stationary Iterative Methods.

Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

2021

A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.

Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021