Section: Highlights of the Year

Highlights of the Year

The Whisper team published one paper at USENIX ATC, one at ASPLOS, one at EuroSys, one at RTSS, and one at PLDI which are five of the major conferences in the scope of our team:

• Effective Static Analysis of Concurrency Use-After-FreeBugs in Linux Device Drivers. USENIX 2019. [13]

• DCNS: Automated Detection of Conservative Non-SleepDefects in the Linux Kernel. ASPLOS 2019. [14]

• When eXtended Para-Virtualization (XPV) meets NUMA. EuroSys 2019. [15]

• Improving Prediction Accuracy of Memory Interferences for Multicore Platforms, RTSS 2019 [18]

• Usuba: high-throughput and constant-time ciphers, by construction. PLDI 2019. [23]

Julia Lawall was co-PC chair of the ASE 2019 research paper track.