Picosecond pulse generation using nonlinear time-lens compression | IEEE Conference Publication | IEEE Xplore