Laser frequency stabilization for ion optical clocks at NIST | IEEE Conference Publication | IEEE Xplore