BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Static contract checking for Haskell - Dana N. Xu (INRIA)
DTSTART:20100701T143500Z
DTEND:20100701T145500Z
UID:TALK25233@talks.cam.ac.uk
CONTACT:Dr Fabien Petitcolas
DESCRIPTION:*Abstract*: Program errors are hard to detect and are costly b
 oth to programmers who spend significant efforts in debugging\, and for sy
 stems that are guarded by runtime checks. Static verification techniques h
 ave been applied to imperative and object-oriented languages\, like Java a
 nd C#\, but few have been applied to a higher-order lazy functional langua
 ge\, like Haskell. In this talk\, I will describe a sound and automatic st
 atic verification framework for Haskell\, that is based on contracts and s
 ymbolic execution. Our approach is modular and gives precise blame assignm
 ents at compile-time in the presence of higher-order functions and lazines
 s.\n\n*Biography*: Dana N. Xu is a research scientist at Paris-Rocquencour
 t research center of INRIA\, a French national research institute in compu
 ter science and applied mathematics. She worked as a postdoctoral research
 er at INRIA Grenoble for one year in 2009. She received her Ph.D. from Uni
 versity of Cambridge and her B.Comp.(Hons) and M.Sc.(by research) from Nat
 ional University of Singapore.\n\nHer main research interest is in functio
 nal programming languages\, their implementation and applications. She is 
 interested in building reliable and efficient software through programming
  language design\, static analysis\, type theory\, program verification\, 
 optimization and automatic parallelization.
LOCATION:Large public lecture room\, Microsoft Research\, Roger Needham Bu
 ilding\, 7 J J Thomson Avenue\, Cambridge CB3 0FB
END:VEVENT
END:VCALENDAR