Automated Verification of Go Programs via Bounded Model Checking (2021)

Recent study on the control of online forums in times of crisis to slow the spread of information, published Nov 13/19

GLL Parsing with Flexible Combinators