High-resolution Infrared Spectrograph for Exoplanet Characterization with the Keck and Thirty Meter Telescopes, Mawet, J. et al.