BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:ABIs\, linkers and other animals - Stephen Kell\, University of Ca
 mbridge
DTSTART:20140113T130000Z
DTEND:20140113T140000Z
UID:TALK49813@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:A robust understanding of certain instruction set architecture
 s and programming languages is beginning to take shape. However\, some mur
 kier bits of infrastructure are equally important in real software\, yet h
 ave received little attention. I will give an accessible introduction to t
 hree such murky areas: application binary interfaces (the basis of separat
 e compilation)\, linking (what happens after compilation) and debugging (w
 hat happens after linking and execution!). The emphasis will be identifyin
 g a number of problems suffered in real software as a consequence of poor 
 specification or poor tooling in these areas\, where these problems could 
 perhaps be helped using a more rigorous approach. My hope is that the cont
 ent will be accessible to anyone vaguely familiar with the C programming l
 anguage. 
LOCATION:FW26
END:VEVENT
END:VCALENDAR