🐻 Cornell Computer Science unofficial reading list, fall 2026

Sophomore level

C++ Programming CS 2024

✔️ Object-Oriented Design & Data Structures by Myers & Kozen
✔️ Principled Programming: Intro. to Coding in Any Imperative Language by Tim Teitelbaum
Data Structures & Algorithms in Java: A Project-Based Approach by Dan S. Myers

Numerical Analysis & Differential Equations CS 4210

Systems Programming CS 4414/5416

Computer Systems: A Programmer’s Perspective by Bryant & O’Hallaron
The Rust Programming Language by Klabnik et al.
Rust by Example
Comprehensive Rust
C++ to Rust Phrasebook
How to Learn Rust in 2026: A Complete Beginner’s Guide to Mastering Rust Programming by Vitaly Bragilevsky
The Rustonomicon
Learn Rust with Entirely Too Many Linked Lists
Rust API Guidelines
Rust Design Patterns
The Rust Performance Book by Nethercote et al.
Rust Atomics & Locks: Low-Level Concurrency in Practice by Mara Bos
Programming Rust: Fast, Safe Systems Development by Blandy et al.
Rust in Action by Tim McNamara
Rust for Rustaceans: Idiomatic Programming for Experienced Developers by Jon Gjengset
Operating Systems: Three Easy Pieces by Arpaci-Dusseau & Arpaci-Dusseau
Advanced Programming in the UNIX Environment by Stevens & Rago
Beej’s Guide to Network Programming: Using Internet Sockets by Brian Hall
The Art of UNIX Programming by Eric Raymond
Linkers & Loaders by John R. Levine
What Every Programmer Should Know About Memory by Ulrich Drepper
Always Measure One Level Deeper by John Ousterhout

Computer Architecture CS 4420

Intro. to Computational Complexity CS 4814/5814

Intro. to the Theory of Computation by Michael Sipser
Computational Complexity: A Modern Approach by Arora & Barak
Mathematics & Computation: A Theory Revolutionizing Technology & Science by Avi Wigderson

Categories for Types by Roy L. Crole
Basic Category Theory by Tom Leinster
Category Theory by Steve Awodey
Category Theory in Context by Emily Riehl
Categorical Logic & Type Theory by B. Jacobs
✔️ Practical Foundations for Programming Languages by Robert Harper
Types & Programming Languages by Benjamin C. Pierce
The Category-Theoretic Solution of Recursive Domain Equations by Smyth & Plotkin
Fixed Points of Functors by Adámek et al.
A Mixed Linear & Non-Linear Logic: Proofs, Terms & Models by P.N. Benton
Notions of Computation & Monads by Eugenio Moggi
What is Algebraic about Algebraic Effects & Handlers? by Andrej Bauer