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? …

Read On →

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 …

Read On →

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 …

Read On →

Meta-Programming in LaTeX

Many researchers write paper in $\LaTeX$ because it provides a convenient macro system that makes typesetting maths …

Read On →

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. …

Read On →