An OCaml newbie meets Camlp4 parser Past and today of Metasepi project Hands-on VeriFast with STM32 microcontroller @ Osaka Introduction to VeriFast @ Kyoto お米大好きな組み込みエンジニアが半年で10kg限量した話 RTOS application verified by VeriFast, and future plan Hands-on VeriFast with STM32 microcontroller @ Nagoya Poster: Comparing ATS and VeriFast on RTOS system state Poster: Generate ATS interface from C code, and introduce linear type Hands-on VeriFast with STM32 microcontroller Emacs verilog-mode is coming to Debian, again Does Infer dream of design by contract? Real-time OS system state captured by ATS language Functional IoT: Programming Language and OS