John Hughes, professor vid institutionen för data- och informationsteknik, har tilldelats ACM SIGPLAN Programming Languages Achievement Award för sina betydande och bestående bidrag inom programmeringsspråk och mjukvarutestning.
Lång karriär och ett banbrytande arbete med QuickCheck
John Hughes uppmärksammas för en karriär som sträcker sig över flera decennier, bland annat för sina bidrag till utvecklingen av det funktionella programmeringsspråket Haskell och sitt banbrytande arbete med QuickCheck, som bidrog till att etablera området egenskapsbaserad testning.
QuickCheck förändrade sättet som programvara kan testas på. I stället för att skriva enskilda testfall beskriver utvecklare egenskaper – generella regler för hur programvaran ska bete sig. QuickCheck genererar sedan automatiskt ett stort antal testfall för att hitta situationer där dessa regler inte gäller. Denna metod, som kallas egenskapsbaserad testning, kan avslöja oväntade buggar som annars kan vara svåra att upptäcka.
För John Hughes speglar utmärkelsen också kopplingen mellan hans akademiska forskning och hans arbete med Quviq, mjukvarutestföretaget som han var med och grundade.
”Jag är mycket glad över att utmärkelsen, som jag ser det, uppmärksammar både mitt forskningsarbete och allt det arbete jag har gjort på Quviq för att sprida idéerna. Jag är övertygad om att det är synergin mellan de två som har lett fram till den här utmärkelsen – och det är något att fira”, säger John Hughes.
ACM SIGPLAN Programming Languages Achievement Award delas ut av ACM särskilda intressegrupp för programmeringsspråk och uppmärksammar betydande och bestående bidrag till området.
”Det här mycket prestigefyllda priset tilldelas personer som har format hur programmeringsspråk utformas, förstås och används. Stort grattis till John!” säger David Sands, viceprefekt vid institutionen för data- och informationsteknik.