BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A computational science agenda for programming language research -
  Dominic Orchard (University of Cambridge)
DTSTART:20140602T130000Z
DTEND:20140602T140000Z
UID:TALK52839@talks.cam.ac.uk
CONTACT:Andrew Rice
DESCRIPTION:Scientific models are often expressed as large and complicated
  programs. These programs embody numerous assumptions made by the develope
 r (e.g. for differential equations\, the discretization strategy and resol
 ution). The complexity and pervasiveness of these assumptions means that o
 ften the only true description of the model is the software itself. This h
 as led various researchers to call for scientists to publish their source 
 code along with their papers. I argue that this is unlikely to be benefici
 al since it is almost impossible to separate implementation assumptions fr
 om the original scientific intent. Instead I  advocate higher-level abstra
 ctions in programming languages\, coupled with lightweight verification te
 chniques such as specification and type systems. In this talk\, I suggest 
 several possible techniques and outline an evolutionary approach to applyi
 ng these to existing and future models. One-dimensional heat flow is used 
 as an example throughout.\nThis is joint work with Andrew Rice. The talk i
 s a practice talk for ICCS 2014 (International Conference on Computational
  Science).
LOCATION:SS03\, William Gates Building
END:VEVENT
END:VCALENDAR