YoVDO

You Are a Program Synthesizer

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Test-Driven Development Courses Program Synthesis Courses Hoare Logic Courses

Course Description

Overview

Explore the fascinating world of program synthesis and its implications for everyday programming in this 40-minute Strange Loop Conference talk. Delve into how program synthesis has evolved from basic bit manipulation to creating web browsers, and discover how the insights from these systems can be applied to human programming. Learn about deriving code from specifications, understanding code quality through mathematical constructs, and applying theorem-proving concepts to normal programming. Gain valuable knowledge on using Hoare logic for code complexity analysis, leveraging abstract interpretation to count code "states," and understanding the possibility of conditionals in straight-line code. By the end, acquire a deeper understanding of what distinguishes good code from bad, and how poor code design impacts various program synthesizers, both machine and human.

Syllabus

Introduction
Deep insights
Sanitizing
Interpretation
sanitize
antiif
conditionals
constraints
testdriven development


Taught by

Strange Loop Conference

Tags

Related Courses

البرمجة الموجهة بالاختبارات المقبولة
Rwaq (رواق)
Desarrollo de Aplicaciones Web: Prueba y Despliegue
University of New Mexico via Coursera
Engineering Maintainable Android Apps
Vanderbilt University via Coursera
Técnicas Avançadas para Projeto de Software
Instituto Tecnológico de Aeronáutica via Coursera
TDD – Desenvolvimento de Software Guiado por Testes
Instituto Tecnológico de Aeronáutica via Coursera