SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk. - Siwei Cui; Yifei Gao; Rainer Unterguggenberger; Wilfried Pichler; Sean Livingstone; Jeff Huang 001 (ICSE, 2023)