MicroFaaS: Energy-efficient Serverless on Bare-metal Single-board Computers | IEEE Conference Publication | IEEE Xplore