Academic Discipline

Systems & CS

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

15courses223standalone talks432total lectures

Subfields

All Systems & CS432 Programming Languages109 Database Systems85 Operating Systems75 Distributed Systems73 Software Design & HCI72 Computer Architecture53 Algorithms & Data Structures44 Systems Security44 Malleable Computing & Dynamic Media18 Computer Networks & Cloud14 Probability & Information Theory6 Computer Vision & Graphics3

Computer Architecture— Processor pipelines, cache hierarchies, SIMD/GPU execution, instruction set design, and hardware performance.

9 topics

All Computer Architecture Memory Hierarchy & Caches19 SIMD, GPUs & Parallel Computing14 Performance Optimization12 Processor Design & Pipelining10 Instruction Sets & Assembly (RISC-V / x86)9 High-Performance Computing3 Memory Controllers3 Memory Security2 Parallel Programming2

jknavigate↵watchcchaptersssavexwatched

Save

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations

Systems & CS·Conference Talk·Linguistics, Philology & Historical Decipherment · David Knothe · FZI Research Center for Information Technology

FZI Research Center for Information Technology

26:08

More categories

Mathematics (428)Physics & Cosmology (404)AI & Machine Learning (213)History & Humanities (375)Philosophy & Ethics (264)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (339)Engineering & Robotics (209)