Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Livermore, CA
Joined May 2021
- Tweets235
- Following110
- Followers37
- Likes362
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
Mohit Tekriwal retweeted
All ML researchers on the academic job market furiously rewriting their research statements for Physics departments
Mohit Tekriwal retweeted
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)
Mohit Tekriwal retweeted
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
ALT Photo of Mohit Tekriwal giving his talk.
One of the cons of privatisation of space market. Regulations can be good in critical situations like this. Boeing is not there yet. It rushed into space missions.
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/36779…
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 😊.
Mohit Tekriwal retweeted
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 some talks that touch on topics like feature engineering; applying continuous formal methods to the proof-of-stake cryptocurrency Cardano; and bidirectional data transformations. @ACMFUNARCH
functional-architecture.org/…
Mohit Tekriwal retweeted
New on my (long neglected) blog:
The mysteries and frustrations of numerical proofs
lawrencecpaulson.github.io/2…
The current government has undermined the autonomy of IITs. It really hurts as an IIT alumnus, to see such appeasement measures by the institution for government funding.
Mohit Tekriwal retweeted
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method. ~ Mohit Tekriwal et als. link.springer.com/chapter/10… #ITP #Coq #Math
This is going to be interesting!
Category Theory to Save the World from Transformers? you bet!
finance.yahoo.com/news/vinod…
Mohit Tekriwal retweeted
Also, this year, the first ETAPS industry day starts at 10.30am tomorrow, kicking off with an invited talk from David Delmas from @Airbus talking about verification of avionics software
etaps.org/2024/industry-day/
