Valentin David: Bygger verktøy for dataspråk
Hovedinnhold
Valentin David disputerer fredag 6. november 2009 for PhD-graden ved Universitetet i Bergen med avhandlingen: «Language Constructs for C++-like languages – Tools and extensions».
Alle dataprogrammer – nettlesere, tekstbehandlere, spill – er skrevet i programmeringsspråk, som gir datamaskinen instrukser om hva den skal gjøre. Ikke alle språk er like enkle å bruke, og ikke alle språk er like enkle for datamaskinen å behandle. Avhandlingen omhandler metoder for å analysere og behandle programmeringsspråk, slik at man kan lage verktøy som letter programmeringsarbeidet.
Forskjellige typer problemer krever forskjellig språk og vokabular. For eksempel er det alltid bedre å bruke fransk eller italiensk til å skrive en sonett. Slik er det også for programmeringsspråk, og det er forsket mye på å utvikle programmeringsspråk som er tilpasset spesielle typer problemer. Jo mer uttrykksfullt et programmeringsspråk er, jo lettere er det å utvikle programmer med det. Men de språkene som er mest i bruk i programutvikling (C++, blant andre) er store, kompliserte, og vanskelige å tilpasse til spesifikke typer problemer.
Valentin David har jobbet med programmeringsspråket C++, og har utviklet metoder som gjør det lettere å behandle C++ med automatiske verktøy. Slike verktøy kan brukes til å hjelpe utvikleren med å skrive, finne og rette feil i programmene, eller å tilpasse språket til et spesifikt problemområde. Eksisterende verktøy for C++ er ofte vanskelig å tilpasse til utvidede eller nye versjoner av språket. Forskningen har derfor fokusert på metoder for å lage fleksible verktøy som kan tilpasses uten store ekstra utviklings- og vedlikeholdskostnader.
Blant verktøyene David har utviklet, er et system for å teste programmer og sjekke at de gjør det de skal gjøre, et system for å håndtere uforutsette situasjoner mens et program kjører, og et verktøy som støtter en eksperimentell utvidelse av C++.
Personalia:
Valentin David er født i Frankrike i 1982. Han tok mastergrad på École Pour l'Informatique et les Techniques Avancées (ÉPITA) i Frankike i 2005, og begynte på PhD-utdannelsen i Bergen i 2005. Graden ble finansiert av Norges Forskningsråd. Han tilbrakte 5 måneder av tiden ved Lawrence Livermore National Laboratory i California.