Fast Nonblocking Persistence for Concurrent Data Structures. - Wentao Cai 002; Haosen Wen; Vladimir Maksimovski; Mingzhe Du; Rafaello Sanna; Shreif Abdallah; Michael L. Scott (DISC, 2021)

Guiding Greybox Fuzzing with Mutation Testing. - Vasudev Vikram; Isabella Laybourn; Ao Li 009; Nicole Nair; Kelton OBrien; Rafaello Sanna; Rohan Padhye (ISSTA, 2023)

Multi-stage Relational Programming. - Michael Ballantyne; Rafaello Sanna; Jason Hemann; William E. Byrd; Nada Amin (Proc. ACM Program. Lang., 2025)