Yasunari Watanabe

I'm currently a software engineer at Ahrefs in Singapore.

I'm interested in programming languages, formal methods, and concurrency. Most of my work is written in OCaml.

Publications

• Certifying the Synthesis of Heap-Manipulating Programs.

  Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey.

  In 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). August 2021. ACM.

  PDFArtifact

Contact

• GitHub (@yasunariw)
• LinkedIn
• Email (w [at] yasunari [dot] net)