Yet more animals: dynamic linkers and debuggers

Add to your list(s) Download to your calendar using vCal

• Stephen Kell (University of Cambridge)
• Monday 03 February 2014, 13:00-14:00
• FW26.

If you have a question about this talk, please contact Peter Sewell.

In my previous talk on 13th January, I gave an overview of ABIs and linkers. In this follow-up, I’ll cover dynamic linking, dynamic loading and debuggers in a similar spirit. As before, 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. 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:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.