Kernel contributions by Claudiu Ghioc