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

"It doesn't matter if a cat is black or white, as long as it catches mice!"

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)

Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!

Really interesting keynote at @icfp_conference on refinement types.

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 😊.

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/…

New on my (long neglected) blog: The mysteries and frustrations of numerical proofs lawrencecpaulson.github.io/2…

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!

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/

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 released to real users. The workshop occurs on 6 September in Milan, co-located with ICFP. The deadline for submission is the 3rd of June 2024. functional-architecture.org/…

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/sites…

Interesting . whitehouse.gov/oncd/briefing…

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…

PL in 3 words