Fangyi Zhou
What the date?
A friend of mine found out something interesting with the date command in coreutils: Are these different for you too? $ …
Producing long and short versions of a paper in LaTeX
Conferences have different submission requirements for papers. Submissions are usually subject to a page limit, but …
Neo-Classical Logic (SIGBOVIK 2022)
My colleague Martin Vassor and I worked on a paper with title Neo-Classical Logic for SIGBOVIK 20221. You can read the …
Meta-Programming in LaTeX
Many researchers write paper in $\LaTeX$ because it provides a convenient macro system that makes typesetting maths …
Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20
I presented my paper Statically Verified Refinements for Multiparty Protocols at OOPSLA 2020 this year, held virtually. …