![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Monday 13 January 2014, 13:00-14:00
ABIs, linkers and other animals
- 👤 Speaker: Stephen Kell, University of Cambridge 🔗 Website
- 📅 Date & Time: Monday 13 January 2014, 13:00 - 14:00
- 📍 Venue: FW26
Abstract
A robust understanding of certain instruction set architectures and programming languages is beginning to take shape. However, some murkier bits of infrastructure are equally important in real software, yet have received little attention. I will give an accessible introduction to three such murky areas: application binary interfaces (the basis of separate compilation), linking (what happens after compilation) and debugging (what happens after linking and execution!). The emphasis will be identifying 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 content will be accessible to anyone vaguely familiar with the C programming language.
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Department of Computer Science and Technology talks and seminars
- FW26
- Interested Talks
- Martin's interesting talks
- School of Technology
- Semantics Lunch (Computer Laboratory)
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.