Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Livermore, CA
Based in India
- Tweets 235
- Following 109
- Followers 37
- Likes 362
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
1
41
Mohit Tekriwal retweeted
"It doesn't matter if a cat is black or white, as long as it catches mice!"
2
41
1,802
Mohit Tekriwal retweeted
All ML researchers on the academic job market furiously rewriting their research statements for Physics departments
20
111
1,950
87,912
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)
2
11
733
Mohit Tekriwal retweeted
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
ALT Photo of Mohit Tekriwal giving his talk.
4
4
192
It’s hard to digest that we landed on moon and back successfully in 1969 but finding it hard to bring astronauts back in 2024.
#thoughts
1
1
40
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…
1
31
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 😊.
1
2
51
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/…
2
10
38
3,635
Mohit Tekriwal retweeted
New on my (long neglected) blog:
The mysteries and frustrations of numerical proofs
lawrencecpaulson.github.io/2…
5
21
1,450
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.
3
41
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
2
13
700
This is going to be interesting!
Category Theory to Save the World from Transformers? you bet!
finance.yahoo.com/news/vinod…
55
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/
1
4
230
Excited to attend the @ETAPSconf in-person for the first time, this year.
2
42