PSU: A Framework for Dynamic Software Updates in Multi-threaded C-Language Programs. - Marcus Karpoff; José Nelson Amaral; Kai-Ting Amy Wang; Rayson Ho; Brice Dobry (SBAC-PAD, 2020)