Frequent background polling on a shared thread, using light-weight compiler interrupts. - Nilanjana Basu; Claudio Montanari; Jakob Eriksson (PLDI, 2021)