A note on IEEE and the paywall: USENIX has all of its content online, for free. It frequently includes slides and video of the talks. OSDI, NSDI, ATC, etc.
I thought it odd that Thomas only considered IEEE as a source for OS research. My experience has been that ACM and USENIX are much better (higher quality) sources. Perhaps the real-time OS community is more associated with IEEE.