Efficient Run-Time Environments for System-Level LET Programming | IEEE Conference Publication | IEEE Xplore