Mohit Tekriwal
@numerics_lambda
Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
You might like
Just did my first proof using Cursor AI. Surreal experience. 🙂
Flying to Denver tonight to attend @poplconf . Excited to attend an amazing set of talks. If you are around, please checkout our presentation at CoqPL on Saturday, titled " Verified Linear Algebra Programa through Equivalence" : mohittkr.github.io/coqpl.pdf
All ML researchers on the academic job market furiously rewriting their research statements for Physics departments
7-11 October Newton Institute workshop "Big Specification: Specification, Proof, and Testing at Scale" newton.ac.uk/event/bspw01 (registration closed, but the talks will be streamed and recorded)
Check out our work on Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report) | Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture dl.acm.org/doi/10.1145/36…
All booked for @icfp_conference. Excited to present my paper titled " Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs" at the @ACMFUNARCH workshop 😊.
Co-located with ICFP 2024 in Milan this year is the Functional Software Architecture (FUNARCH) workshop. Come and participate in discussions about the construction and structure of large and long-lived software projects that are implemented in functional languages, and listen to…
New on my (long neglected) blog: The mysteries and frustrations of numerical proofs lawrencecpaulson.github.io/2024/07/25/Num…
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method. ~ Mohit Tekriwal et als. link.springer.com/chapter/10.100… #ITP #Coq #Math
This is going to be interesting!
Category Theory to Save the World from Transformers? you bet! finance.yahoo.com/news/vinod-kho…
Excited to attend the @ETAPSconf in-person for the first time, this year.
Please consider submitting a paper to The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large if you have stories to share about methods for the construction of large and long-lived software projects that are implemented in functional languages and…
I'm excited to announce we've released our technical report on the state of formal verification at the NNSA labs. I learned a lot while writing it and hope it can serve as a guide of what are some high-impact research problems in formal methods. sandia.gov/app/uploads/si…
I am elated to share that the final paper from my PhD on formally verifying convergence of stationary iterative methods has been accepted for publication in NFM, 2024. Link to the accepted paper: mohittkr.github.io/iterative_meth…
United States Trends
- 1. Good Monday 29.6K posts
- 2. #MondayMotivation 32.4K posts
- 3. Rudy Giuliani 17.7K posts
- 4. Happy Birthday Marines 3,860 posts
- 5. Pond 166K posts
- 6. Semper Fi 4,054 posts
- 7. #MondayVibes 2,054 posts
- 8. #Talus_Labs N/A
- 9. Happy New Week 47.1K posts
- 10. United States Marine Corps 4,614 posts
- 11. The BBC 440K posts
- 12. 8 Democrats 11.7K posts
- 13. Mark Meadows 16.6K posts
- 14. #ITZY_TUNNELVISION 39.4K posts
- 15. #USMC N/A
- 16. Steelers 54.4K posts
- 17. Resign 119K posts
- 18. Tim Kaine 26.5K posts
- 19. John Fetterman 18.7K posts
- 20. Ghislaine Maxwell 5,767 posts
Something went wrong.
Something went wrong.