Mohit Tekriwal
Computer Science · University of Michigan
Publications
16
Citations
52
Est. group size
~1
Recurring co-author estimate
Active years
7
Publishing since 2019
Typically publishes in teams of ~3 · 67% small-team papers (≤3 authors) · across 4 venues
- Mechanized Semantics for Correctness of the RS274 Additive Manufacturing Command Language
Lecture notes in computer science · 2025
- Towards Richer Challenge Problems for Scientific Computing Correctness
Electronic Proceedings in Theoretical Computer Science · 2025
- Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)
2024
- LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs
2023
- A Mechanized Error Analysis Framework for End-to-End Verification of Numerical Programs
Deep Blue (University of Michigan) · 2023
- Grid sensitivity and role of error in computing a lid-driven cavity problem
Physical review. E · 2019
- Lecture notes in computer science×5
- arXiv (Cornell University)×5
- Physical review. E×1
- Deep Blue (University of Michigan)×1
- Electronic Proceedings in Theoretical Computer Science×1
- Ahmed Sameh
Computer Science · Purdue University West Lafayette
- Michael Schulte
Arts and Humanities · Indiana University
- Jianlin Xia
Computer Science · Purdue University West Lafayette
- Michael P. Drazin
Computer Science · Purdue University West Lafayette
- Qiyuan Pang
Computer Science · Purdue University West Lafayette
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 25, 2026.
Claim or correct this profile