PARLAK: parametrized lock cache generator | IEEE Conference Publication | IEEE Xplore