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
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
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
Excited to attend the @ETAPSconf in-person for the first time, this year.
2
42
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…
1
46
I am elated to share that a paper from my PhD on formally verified asymptotic consensus for robust control networks, has been accepted at TACAS, 2024. This is the first known formalization of asymptotic consensus in distributed controls.
Link: mohittkr.github.io/wmsr_pape…
2
41
@satnam6502 it was great meeting you in-person, finally. I am really grateful to have you as my mentor and really grateful to the SIGPLAN-M program for providing an opportunity to network with great people in industry and in academia.
I've been @numerics_lambda's SIGPLAN-M mentor for a while and today I finally go to meet him for lunch after many video link interactions. After graduating from the University of Michigan he is starting at Lawerence Livermore Labs here in the Bay Area. I can strongly recommend becoming a SIGPLAN-M mentor for the fantastic opportunity it provides to mentor junior researchers and practitioners in the general area of programming languages. Mentors have many different backgrounds, and I try to share my experience of having been a researcher in industry, having made the move from being a university researcher for a while. sigplan.org/LongTermMentorin… A wonderful initiative created by @TaliaRinger and currently led by @polikarn and a great team advisory board. Industry PL people, consider becoming a SIGPLAN-M mentor!
1
34
My PhD thesis is online.
deepblue.lib.umich.edu/handl…
1
198
One really good thing about physical conferences is that you get to meet really interesting people and share beer with them. Finally met @mukesh_tiwari 😀
4
132
Been listening to bluegrass music genre recently, and I must say Chris Stapelton and Morgan Wallen are really amazing. Made an entire Spotify playlist with their songs, lol.
2
109
Life update: I am elated to announce that I will soon be starting as a formal methods researcher at the Lawrence Livermore National Labs.
To the new beginnings!
#NewProfilePic
2
116
A successful PhD defense.
Thus ends a 5 year long journey from a first gen IITian to a first gen Dr.
#PhDone #AcademicChatter
1
1
6
450
Submitted my thesis to my doctoral committee today. Feeling relieved and nervous at the same time. 3 weeks to the oral defense. Can't believe 5 years of journey is almost over.
1
118
Years of doing formal proofs have taught me one thing-- nothing is trivial, until you prove them till QED.
Yeah Sex is cool but have you ever asked a mathematician to show you how to prove something that he said was "trivial" and then watched him struggle at the board for twenty excruciatingly awkward minutes before finally giving up?
87
5 years of doing proofs in Coq got so into me, that this is how I celebrated a friend's PhD defense, lol.
#formalmethods
2
108