Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Programming Bugs: Understanding, Fixing, and Preventing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (47)

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Verification and Validation: Testing and Risk Management Log in to Mediaspace to watch this video

Explores testing methodologies, risk management, and the Flight Readiness Review process in systems engineering.

Inheritance: Polymorphism & Casting Log in to Mediaspace to watch this video

Covers inheritance, polymorphism, and casting in object-oriented programming, emphasizing code factorization and generic object manipulation.

Sustainable IT Strategies: Forum SI 2024 Log in to Mediaspace to watch this video

Discusses sustainable IT practices and strategies presented at the Forum SI 2024 at EPFL.

Scientific Programming for Engineers: Introduction to GIT Log in to Mediaspace to watch this video

Covers the basics of scientific programming for engineers, emphasizing the importance of GIT for collaborative work and providing insights into challenges in scientific software development.

IT Security Fundamentals Log in to Mediaspace to watch this video

Covers the basics of IT security, emphasizing everyone's responsibility in protecting data and preventing cyber threats.

Page 3 of 3