HALT: bridging the gap between theory and practice | IEEE Conference Publication | IEEE Xplore