Jekyll2026-05-21T03:44:16+00:00https://ashok314.github.io/feed.xmlSoftware Engineer & Researcher. Programming Languages, Software Verification, Separation Logic. Based in Tokyo.Ashok Acharya