![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) > ABIs, linkers and other animals
ABIs, linkers and other animalsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Peter Sewell. 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. This talk is part of the Semantics Lunch (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsHistory and Philosophy of Science long list Young Nanoscientist India Award Winner's Lecture sponsored by Oxford Instruments 80000 Hours CambridgeOther talksCharacterizing Immunogenetic Mechanisms through HIV Disease Analysis Computer vision techniques for measuring deformation Organic Bio-Electronic systems: from tissue engineering to drug discovery Exhibiting Ice Age Cambridge Emissions and Chemistry of air pollution in London and Beijing: a tale of two cities. |