Presentation: "Debugging hard bugs using Record/Replay technology"
Time: Monday 16:00 - 17:00
Location: To be announced
We are going to demonstrate how Record/Replay technology can be use to analyze difficult software problems: memory corruption, race conditions (including race conditions in network applications), etc.
The Record/Replay technology allows the user to efficiently record the execution of the virtual machine and then replay it with instruction-level precision. This makes all bugs 100% reproducible and enables debugging techniques that were not feasible before.
There will be a few demos: one will be debugging session for Linux kernel hacking, one for Linux application debugging and one for Windows. We are going to explain how recordingof software running in production allows doing correctness inspection and forensics research - with no downtime.