| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 30 Nov 2024 14:14:24 GMT
access-control-allow-origin: *
etag: W/"674b1dc0-8d8"
expires: Tue, 30 Dec 2025 09:02:25 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 41F4:2BC55:9DA29B:B10BFC:695392C8
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:52:26 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210090-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767084746.862658,VS0,VE203
vary: Accept-Encoding
x-fastly-request-id: a0a9b937632492a31761d9dda2f3c902a014b954
content-length: 1052
Yasunari Watanabe
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.
Contact
- GitHub (
@yasunariw) - Email (w [at] yasunari [dot] net)