Lecture
Programming Bugs: Understanding, Fixing, and Preventing
Related lectures (40)
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Digital Consultant: EPFL 2021
Explores the role of a digital consultant in developing innovative applications.
Software Engineering: Best Practices
Covers tools and best practices for software writing, debugging, testing, and managing code.
Breaking Interoperability Barriers in AEC Software
Focuses on breaking interoperability barriers in AEC software through open-source connectors, showcasing the integration of BIM models within immersive 3D environments.
Software Engineering Essentials
Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.
DevSecOps: Security in DevOps Culture
Explores the integration of security practices within the DevOps culture, emphasizing the importance of adding security measures throughout the software development lifecycle.
Vision-Language-Action Models: Training and Applications
Delves into training and applications of Vision-Language-Action models, emphasizing large language models' role in robotic control and the transfer of web knowledge. Results from experiments and future research directions are highlighted.
MATLAB: Crash Course in MATLAB
Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.
Learning-aided Program Reasoning
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Robust Design: Trade-off Management in Mechanical Development
Emphasizes the importance of managing trade-offs for product robustness in mechanical design, using Multi-objective Monotonicity Analysis for quantitative analysis and systematic redesign efforts.