I found these links in the F* book

https://www.microsoft.com/en-us/research/blog/everparse-hard...

https://lwn.net/Articles/770750/

https://project-everest.github.io/