Fix "Is the Race Lost?" paper information to correct TOPLAS@PLDI details

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot