Cordy er best kjent for sitt arbeide på kildetransformasjonsspråket TXL, et parserbasert rammeverk og et funksjonelt programmeringsspråk som ble konstruert for å støtte programvareanalyse og transformasjonsoppgaver.. TXL ble opprinnelig utviklet sammen med M.Sc.-studenten Charles Halpern-Hamu i 1985 som et verktøy for å eksperimentere med konstruksjon av programmeringsspråk. Hans arbeide på NICAD klone-detektoren sammen med Ph.D.-studenten Chanchal Roy, Recognition Strategy Language sammen med Ph.D. studenten Richard Zanibbi og Dorothea Blostein, og det naturlige lettvektsspråket Cerno sammen med John Mylopoulos og andre ved University of Trento er basert på TXL.