The laser system for the ERL electron source at Cornell University | IEEE Conference Publication | IEEE Xplore