Can the Linux kernel sustain 30 more years of growth? Toward mitigating bottlenecks in its development model. - David Tadokoro; Rodrigo Siqueira; Paulo Meirelles (SBES, 2025)

Kworkflow A Linux kernel Developer Automation Workflow System. - David Tadokoro; Rodrigo Siqueira; Paulo Meirelles (SBES, 2025)

Streamlining Analyses on the Linux Kernel with DUKS. - Rafael Passos; Arthur Pilone; David Tadokoro; Paulo Meirelles (VISSOFT, 2025)