Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

9 courses · 210 standalone talks · 505 lectures

All Systems & CS Algorithms & Data Structures (107)Database Systems (102)Operating Systems (79)Programming Languages (78)Computer Architecture (77)Distributed Systems (75)Systems Security (41)Software Design & HCI (27)Genetics & Molecular Biology (19)Probability & Information Theory (16)

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Lecture 10: Symbolic Execution (6.858)

Lecture 10: Symbolic Execution (6.858)

6.858 · Lec 9 · Armando Solar-Lezama · MIT

Armando Solar-Lezama MIT

1:22:16

More categories

Mathematics (528)Physics & Cosmology (368)AI & Machine Learning (283)History & Humanities (372)Philosophy & Ethics (286)Biology & Neuroscience (334)Economics & Finance (323)Algorithms & Theory (370)Engineering & Robotics (334)