superestos/My-awesome-list

My-awesome-list

Courses

Math, Algorithm & Theory

CMU CS251 Great Ideas in Theoretical Computer Science https://www.cs251.com/index.html

MIT 18.404J Theory of Computation https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2020/

Virginia CS3102 Theory of Computation https://uvatoc.github.io/schedule/

UMich EECS376 Foundations of Computer Science https://eecs376.org/

UM Boston CS420 Introduction to the Theory of Computation https://cogumbreiro.github.io//teaching/cs420/f22/

UM Boston CS720 Logical Foundations in Computer Science http://cogumbreiro.github.io/teaching/cs720/s22/

POSTECH CS433 Logic in Computer Science http://pl.postech.ac.kr/~gla/cs433/schedule.html

SJTU Mathematical Logic http://basics.sjtu.edu.cn/~chen/teaching/Logic21/

CMU 15-317 Constructive Logic https://www.cs.cmu.edu/~fp/courses/15317-f17/schedule.html

CMU 15-217 Logic and Mechanized Reasoning https://www.cs.cmu.edu/~mheule/15217-f22/schedule.html

CMU 15-816 Advanced Topics in Logic: Automated Reasoning and Satisfiability http://www.cs.cmu.edu/~mheule/15816-f22/schedule.html

Standford CS357 Advanced Topics in Formal Methods https://web.stanford.edu/class/cs357/

TUM Logic https://www21.in.tum.de/teaching/logic/SS22/index.html

Saarland Introduction to Computational Logic https://cms.sic.saarland/icl_22/

CMU 15-455 Undergraduate Complexity Theory http://www.cs.cmu.edu/~15455/table.html

Stanford CS166 Data Structures http://web.stanford.edu/class/cs166/

Stanford CS161 Design and Analysis of Algorithms https://stanford-cs161.github.io/winter2022/lectures/

Princeton Algorithm Design Textbook Slides https://www.cs.princeton.edu/~wayne/kleinberg-tardos/

CMU 15-451 Algorithms https://www.cs.cmu.edu/~15451-f21/schedule.html

CMU 15-853 Algorithms in the Real World https://www.cs.cmu.edu/afs/cs/project/pscico-guyb/realworld/www/slidesS18.html

Berkeley CS170 Efficient Algorithms and Intractable Problems https://cs170.org/

Stanford CS265 Randomized Algorithms and Probabilistic Analysis https://web.stanford.edu/class/cs265/

Stanford CS276 Information Retrieval and Web Search https://web.stanford.edu/class/cs276/

Carleton University COMP5408 Advanced Data Structures https://cglab.ca/~morin/teaching/5408/

UCSD CSE100 Advanced Data Structures https://ucsd-cse100-s20.github.io/

UCSD CSE202 Combinatorial Algorithms https://users.soe.ucsc.edu/~sesh/Teaching/2021/CSE202/schedule.html

MIT 6.851 Advanced Data Structure https://courses.csail.mit.edu/6.851/spring21/

MIT 6.852J Distributed Algorithms https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-852j-distributed-algorithms-fall-2009

MIT 6.886 Algorithm Engineering https://people.csail.mit.edu/jshun/6886-s21/

MIT 6.854 Advanced Algorithms http://courses.csail.mit.edu/6.854/21/

MIT 6.856J Randomized Algorithms https://courses.csail.mit.edu/6.856/current/

Brekeley EE127 Optimization Models and Applications https://inst.eecs.berkeley.edu/~ee127/sp21/livebook/index.html

UWisc CS524 Introduction to Optimization https://laurentlessard.com/teaching/524-intro-to-optimization/

CMU 10-810 Advanced Optimization and Randomized Methods http://www.cs.cmu.edu/~suvrit/teach/aopt.html

Princeton COS521 Advanced Algorithm Design https://www.cs.princeton.edu/~singla/COS521.html

Columbia COMS6998-9 Algorithms for Massive Data http://www.cs.columbia.edu/~andoni/algoS19/materials.html

Columbia COMS4995-2 Advanced Algorithms https://www.cs.columbia.edu/~andoni/advancedS20/materials.html

Columbia COMS4995 Incentives in Computer Science http://www.cs.columbia.edu/~tr/s20/s20.html

Brown CSCI1440 Algorithmic Game Theory http://cs.brown.edu/courses/csci1440/lectures/

Stanford CS364A Algorithmic Game Theory http://timroughgarden.org/f13/f13.html

Stanford CS255 Introduction to Cryptography https://crypto.stanford.edu/~dabo/cs255/

Computer Systems

MIT 6.033 Computer System Engineering http://web.mit.edu/6.033/www/

Utah CS4400 Computer Systems https://my.eng.utah.edu/~cs4400/

Stanford CS110L Safety in Systems Programming https://reberhardt.com/cs110l/spring-2020/

Cornell CS4414 Systems Programming https://www.cs.cornell.edu/courses/cs4414

Brown CSCI1310 Fundamentals of Computer Systems http://cs.brown.edu/courses/csci1310/2020/schedule.html

UIUC CS241 System Programming https://cs241.cs.illinois.edu/coursebook/

UIUC CS423 Operating System Design https://courses.grainger.illinois.edu/cs423/sp2021/schedule/

JHU CS318 Principles of Operating Systems https://www.cs.jhu.edu/~huang/cs318/fall21/schedule.html

HMC CS134 Operating Systems https://www.cs.hmc.edu/~rhodes/courses/cs134/fa20/schedule.html

William & Mary CSCI333 Storage Systems http://www.cs.williams.edu/~jannen/teaching/s21/cs333/schedule.html

Stanford CS111 Operating Systems Principles https://web.stanford.edu/~ouster/cs111-spring21/

Berkeley CS186 Introduction to Database Systems https://cs186berkeley.net/

CMU 15-445 Intro to Database Systems https://15445.courses.cs.cmu.edu/

Stanford CS245 Principles of Data-Intensive Systems http://web.stanford.edu/class/cs245/

Harvard CS165 Data Systems http://daslab.seas.harvard.edu/classes/cs165/

Harvard CS265 Big Data Systems http://daslab.seas.harvard.edu/classes/cs265/

UPenn CIS545 Big Data Analytics https://sites.google.com/seas.upenn.edu/cis545-f20

UCSD DSC102 Systems for Scalable Analytics https://cseweb.ucsd.edu/~arunkk/dsc102_winter22/schedule.html

UCSD CS132C Database System Implementation https://cseweb.ucsd.edu/classes/sp22/cse132C-a/schedule.html

Rutugers 352 Internet Technology https://people.cs.rutgers.edu/~sn624/352-S21/syllabus.html

Berkeley CS168 Introduction to the Internet: Architecture and Protocols http://cs168.io/

Upenn CIS455 Internet and Web Systems https://www.seas.upenn.edu/~cis455/

Upenn CIS553 Networked Systems https://www.seas.upenn.edu/~cis5530/

Princeton COS461 Computer Networks https://www.cs.princeton.edu/courses/archive/fall21/cos461/schedule.html

UMich EECS489 Computer Networks https://github.com/mosharaf/eecs489

Brown CSCI1680 Computer Networks https://cs.brown.edu/courses/csci1680/s22/schedule/

ETH Communication Networks https://comm-net.ethz.ch/2021/

CMU 15-744 Computer Networks https://www.cs.cmu.edu/~15744/syllabus.html

NYU CSCI-GA.2620-001 Networks and Mobile Systems https://cs.nyu.edu/~anirudh/CSCI-GA.2620-001/

UWisc CS640 Introduction to Computer Networks https://pages.cs.wisc.edu/~mgliu/CS640/F21/syllabus.html

UWisc CS740 Advanced Computer Networks https://pages.cs.wisc.edu/~akella/CS740/S20/papers.html

Stanford CS144 Introduction to Computer Networking https://cs144.github.io/

Stanford CS249i The Modern Internet https://cs249i.stanford.edu/

Stanford CS240 Advanced Topics in Operating Systems http://web.stanford.edu/class/cs240/

Berkeley CS262A Advanced Topics in Computer Systems https://ucbrise.github.io/cs262a-spring2018/

Berkeley CS262B Advanced Topics in Computer Systems https://deculler.github.io/cs262b-sp20

Princeton COS518 Advanced Computer Systems https://cos518.github.io/syllabus.html

WUSTL CSE522S Advanced Operating Systems https://classes.engineering.wustl.edu/cse522/

JHU CS718 Advanced Operating Systems https://www.cs.jhu.edu/~huang/cs718/spring20/syllabus.html

IIT CS59503 OS and Runtime System Design for Supercomputing https://www.hale-legacy.com/class/cs59503/f16/

UMass Amherst Systems https://emeryberger.com/teaching/grad-systems/

Harvard CS261 Research Topics in Operating Systems https://read.seas.harvard.edu/cs261/2021/

Harvard CS260r Topics and Close Readings in Software Systems https://read.seas.harvard.edu/cs260r/2022/

UIUC CS523 Advanced Operating Systems https://cs523-uiuc.github.io/fall21/readings.html

UIUC CS591 Systems Seminar https://systems-seminar-uiuc.github.io/

Washington CSE550 Systems for All https://courses.cs.washington.edu/courses/cse550/21au/schedule.html

UNSW COMP9242 Advanced Operating Systems http://cs9242.web.cse.unsw.edu.au/~cs9242/22/lectures.shtml

TUM Transaction Systems https://db.in.tum.de/teaching/ss22/transactions/?lang=en

TUM Data Processing On Modern Hardware http://www-db.cs.tum.edu/teaching/ss21/dataprocessingonmodernhardware/?lang=en

Berkeley CS286B Graduate Database Systems https://cs286berkeley.net/

CMU 15-721 Advanced Database Systems https://15721.courses.cs.cmu.edu/spring2020/schedule.html

UWisc CS744 Big Data Systems https://pages.cs.wisc.edu/~shivaram/cs744-fa21/

UWisc CS764 Topics in Database Management Systems https://pages.cs.wisc.edu/~yxy/cs764-f20/

UWisc CS839 Design the Next-Generation Database https://pages.cs.wisc.edu/~yxy/cs839-s20/index.html

UIUC CS598XU Reliability of Cloud-Scale Systems https://cs598txu-uiuc.github.io/spring22/readings.html

KAUST CS240 Computing Systems and Concurrency https://sands.kaust.edu.sa/classes/CS240/F21/syllabus.html

Northeastern CS4240 Large-Scale Parallel Data Processing https://heather.miller.am/teaching/cs4240/spring2018/

Northeastern CS7680 Programming Models for Distributed Computing https://heather.miller.am/teaching/cs7680/

CMU 15-319 Cloud Computing http://www.cs.cmu.edu/~msakr/15619-s20/recitations.html

CMU 15-440 Distributed Systems https://www.synergylabs.org/courses/15-440/syllabus.html

CMU 15-719 Advanced Cloud Computing https://www.cs.cmu.edu/~15719/readinglist.html

Brown CSCI2950u Cloud 3.0 Infrastructure https://cs.brown.edu/courses/csci2950-u/s18/schedule.html

Utah CS6450 Distributed Systems http://www.cs.utah.edu/~stutsman/cs6450/calendar/

Cornell CS5414 Distributed Computing Principles https://www.cs.cornell.edu/courses/cs5414/2020fa/

Cornell CS5412 Topics in Cloud Computing https://www.cs.cornell.edu/courses/cs5412/2022sp/Syllabus.html

Stanford CS349D: Cloud Computing Technology http://web.stanford.edu/class/cs349d/

UToronto ECE1724 Designing Modern Web-Scale Applications https://www.eecg.utoronto.ca/~ashvin/courses/ece1724/2022w/index.html

UToronto ECE1781 Dependable Software Systems https://www.eecg.utoronto.ca/~ashvin/courses/ece1781/2018w/index.html

Purdue CS590: Cloud-Native Database Systems https://www.cs.purdue.edu/homes/csjgwang/CloudNativeDB/

CMU 18-746 Storage Systems https://course.ece.cmu.edu/~ece746/readinglist.html

VU Storage Systems https://animeshtrivedi.github.io/course-stosys/

VU Advanced Network Programming https://animeshtrivedi.github.io/course-anp/

VU Advanced Computer Networks https://linwang.info/courses/acn21/

Berkeley CS294-168 Machine Learning Systems https://ucbrise.github.io/cs294-ai-sys-sp22/

CMU 10-414 Deep Learning Systems https://dlsyscourse.org/lectures/

CMU 15-884 Machine Learning Systems https://catalyst.cs.cmu.edu/15-884-mlsys-sp21/schedule

UCSD CSE291 Virtualization https://cseweb.ucsd.edu/~yiying/cse291-winter22/reading/

UCSD CSE291H Modern Data Center Systems https://cseweb.ucsd.edu/~yiying/cse291h-fall19/reading/

IITB CS695 Virtualization and Cloud Computing https://www.cse.iitb.ac.in/~mythili/virtcc/

Programming Languages

CMU 15-122 Principles of Imperative Computation https://www.cs.cmu.edu/~15122/schedule.shtml

Harvard CS152 Programming Languages https://groups.seas.harvard.edu/courses/cs152/2022sp/schedule.html

Washington CSE341 Programming Languages https://sites.google.com/cs.washington.edu/cse341spring2021/lecture

Washington CSE402 Design and Implementation of Domain-Specific Languages https://courses.cs.washington.edu/courses/cse402/

Princeton COS326 Functional Programming https://www.cs.princeton.edu/courses/archive/fall21/cos326/schedule.php

Upenn CIS552 Advanced Programming https://www.seas.upenn.edu/~cis5520/current/schedule.html

Cornell CS3110 Data Structures and Functional Programming https://cs3110.github.io/textbook/cover.html

Cornell CS4110 Programming Languages and Logics https://www.cs.cornell.edu/courses/cs4110/2021fa/schedule.html

Cornell CS6110 Advanced Programming Languages https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.html

Cornell CS6120 Advanced Compilers https://www.cs.cornell.edu/courses/cs6120/2022sp/schedule/

UCSC CSE211 Graduate Compiler Design https://sorensenucsc.github.io/CSE211-fa2021/schedule.html

UM Boston CS450 Structure of Higher Level Languages http://cogumbreiro.github.io/teaching/cs450/s21/

UMD CMSC430 Design and Implementation of Programming Languages https://www.cs.umd.edu/class/fall2021/cmsc430/Schedule.html

TUM IN2113 Programming Languages https://www.cs.cit.tum.de/pl/lehre/wintersemester-1819/vorlesungen/programming-languages/

NYU CSCI2110 Programming Languages https://cs.nyu.edu/~wies/teaching/pl-fa22/

Utah CS3520 Programming Languages https://my.eng.utah.edu/~cs3520/f20/schedule.html

Utah CS6110 Software Verification https://my.eng.utah.edu/~cs6110/

UTeaxs CS345H Programming Languages https://www.cs.utexas.edu/~bornholt/courses/cs345h-22au/schedule/

UTeaxs CS395T Systems Verification and Synthesis https://www.cs.utexas.edu/~bornholt/courses/cs395t-22sp/schedule/

UPenn CIS341 Compilers https://www.seas.upenn.edu/~cis3410/current/index.html

KAIST CS420 Compiler Design https://github.com/prosyslab-classroom/cs524-program-analysis/tree/2021-fall

KAIST CS592 Introduction to Program Analysis https://github.com/prosyslab-classroom/cs524-program-analysis/tree/2021-fall

Rochester CSC255 Software Analysis and Improvement https://cs.rochester.edu/~sree/courses/csc-255-455/spring-2022/schedule.html

UMich EECS390 Programming Paradigms https://eecs390.org/

UMich EECS483 Compiler Construction https://dijkstra.eecs.umich.edu/eecs483/lectures.php http://maxsnew.com/teaching/eecs-483-fa22/

UMich EECS590 Advanced Programming Languages https://web.eecs.umich.edu/~weimerw/590/lectures.html

CMU 15-745 Optimizing Compilers for Modern Architectures http://www.cs.cmu.edu/afs/cs/academic/class/15745-s19/www/syllabus.html

CMU 15-814 Types and Programming Languages http://www.cs.cmu.edu/~fp/courses/15814-f21/schedule.html

CMU 17-355 Program Analysis http://www.cs.cmu.edu/~aldrich/courses/17-355-19sp/ https://cmu-program-analysis.github.io/2021/index.html

CMU 15-819 Foundations of Quantitative Program Analysis https://www.cs.cmu.edu/~janh/courses/ra19/schedule/

Tufts COMP150 Program Analysis, Verification, and Synthesis https://www.cs.tufts.edu/comp/150AVS

UFMG DCC888 Static Program Analysis https://homepages.dcc.ufmg.br/~fernando/classes/dcc888/ementa/

MIT 6.820 Fundamentals of Program Analysis https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-820-fundamentals-of-program-analysis-fall-2015/

MIT 6.822 Formal Reasoning About Programs https://frap.csail.mit.edu/main

MIT 6.826 Principles of Computer Systems https://6826.csail.mit.edu/2020/

VU Amsterdam Logic and Modeling https://robertylewis.com/logic_and_modeling/

VU Amsterdam Logical Verification https://lean-forward.github.io/logical-verification/2021/index.html

EPFL CS-550 Formal Verification https://tube.switch.ch/channels/f2d4e01d

ETH 263-2812-00L Program Verification https://www.pm.inf.ethz.ch/education/courses/program-verification.html

Columbia COMS E6998 Formal Verification of Systems Software https://feline-hamster-182.notion.site/COMS-E6998-Formal-Verification-of-Systems-Software-Fall-2021-531e77f4166c4458b857df58476cb6ef

UIUC CS476 Program Verification https://courses.grainger.illinois.edu/CS476/sp2021/

UIUC CS477 Formal Software Development Methods http://misailo.web.engr.illinois.edu/courses/477-fa21/

UIUC CS526 Advanced Compiler Construction https://www.charithm.web.illinois.edu/cs526/sp2022/

Cornell CS6114 Network Programming Languages https://cornell-pl.github.io/cs6114/schedule/

Stanford CS343D Domain-Specific Programming Models and Compilers https://cs343d.github.io/

Stanford CS243 Program Analysis and Optimization https://suif.stanford.edu/~courses/cs243/

Freiburg Program Analysis & Software Testing https://swt.informatik.uni-freiburg.de/teaching/SS2017/ProgramAnalysisSoftwareTesting

Freiburg Program Verification https://swt.informatik.uni-freiburg.de/teaching/SS2019/program-verification

Freiburg Decision Procedures https://swt.informatik.uni-freiburg.de/teaching/WS2019-20/DecisionProcedures/Slides

CMU 15-316 Software Foundations of Security & Privacy https://15316-cmu.github.io/2021/schedule.html

CMU 15-414 Bug Catching: Automated Program Verification http://www.cs.cmu.edu/~15414/s22/schedule.html

Washington CSE490P Advanced Programming Languages and Verification https://sites.google.com/cs.washington.edu/cse490p/home https://gitlab.cs.washington.edu/jrw12/cse490p-20sp-public

Washington CSE505 Concepts of Programming Languages https://sites.google.com/cs.washington.edu/cse-505-spring-2021/lecture

Washington CSE507 Computer-Aided Reasoning for Software https://courses.cs.washington.edu/courses/cse507/21au/calendar.html

Purdue CS560 Reasoning About Programs https://www.cs.purdue.edu/homes/roopsha/cs560rap/s21/index.html#schedule-tab

UCSD CSE291 Program Synthesis https://github.com/nadia-polikarpova/cse291-program-synthesis

UCSB CS267 Automated Verification https://sites.cs.ucsb.edu/~bultan/courses/267/lectures/lectures.html

UIowa CS4350 Logic in Computer Science https://homepage.cs.uiowa.edu/~tinelli/classes/4350/Spring22/lectures.shtml

UIowa CS5810 Formal Methods in Software Engineering https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall21/lectures.shtml

IIT CS5030 Automated Program Verification https://kartiknagar.github.io/courses/apv/lectures/

Alexandru Ioan Cuza University Formal Methods in Software Engineering https://sites.google.com/view/fii-fmse/2021-2022/lectures

UNSW COMP2111 System Modelling and Design http://www.cse.unsw.edu.au/~cs2111/22T1/Lectures.html

UNSW COMP6721 (In-)Formal Methods http://www.cse.unsw.edu.au/~cs6721/2022T2/Web/index.html

Chalmers Software Engineering using Formal Methods http://www.cse.chalmers.se/edu/year/2016/course/TDA293/schedule.html

University Koblenz Formal Specification and Verification https://userpages.uni-koblenz.de/~sofronie/lecture-formal-specif-verif-ws-2021/slides/

MPRI 2-4 Functional Programming and Type Systems https://gitlab.inria.fr/fpottier/mpri-2.4-public

UNSW COMP4161 Advanced Topics in Software Verification https://www.cse.unsw.edu.au/~cs4161/

UNSW COMP6752 Modelling Concurrent Systems https://www.cse.unsw.edu.au/~rvg/6752/handouts.html

Collège de France Mechanized semantics https://xavierleroy.org/CdF/2019-2020/

Collège de France Program logics https://xavierleroy.org/CdF/2020-2021/

Computer Architecture & Parallel Computing

MIT 6.823 Computer System Architecture http://csg.csail.mit.edu/6.823/lecnotes.html

Cornell CS7491 The Great ISA https://www.cs.cornell.edu/courses/cs7491/2020sp/

UCI CS250B Modern Computer Systems https://www.ics.uci.edu/~swjun/courses/2021S-CS250B/index.htm

Berkeley CS152 Computer Architecture and Engineering https://inst.eecs.berkeley.edu/~cs152/sp21/

Berkeley CS194-15 Introduction to Parallel Programming https://sites.google.com/berkeley.edu/cs194-15-fall-2021

Berkeley CS267 Applications of Parallel Computers https://sites.google.com/lbl.gov/cs267-spr2021

UW AMATH483 High-Performance Scientific Computing https://amath583.github.io/sp22/index.html

UTeaxs CS378H Concurrency Honors https://www.cs.utexas.edu/~rossbach/cs378h-s21/schedule.html

UCR CS214 Parallel Algorithms https://www.cs.ucr.edu/~yihans/teaching/214/W22//schedule/index.html

Tel Aviv Advanced Topics in Multi-Core Architecture and Software Systems https://www.cs.tau.ac.il/~mad/mass/schedule.html

Brown CS1760 Multiprocessor Synchronization http://cs.brown.edu/courses/cs176/lectures.shtml

UToronto CS798-043 Multicore programming http://www.cs.utoronto.ca/~tabrown/cs798/

Rice COMP522 Multicore Computing https://www.cs.rice.edu/~johnmc/comp522/lecture-notes/index.html

Cambridge Multicore Semantics and Programming https://www.cl.cam.ac.uk/teaching/1920/Multicore/materials.html

MIT 6.172 Performance Engineering of Software Systems https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-172-performance-engineering-of-software-systems-fall-2018

ETH Seminar Hands-on Acceleration on Heterogeneous Computing Systems https://safari.ethz.ch/projects_and_seminars/fall2021/doku.php?id=heterogeneous_systems

ETH 252-0029-00L Parallel Programming https://spcl.inf.ethz.ch/Teaching/2020-pp/

Purdue CS353 Principles of Concurrency and Parallelism https://www.cs.purdue.edu/homes/suresh/353-Spring2022/

NUS YSC4231 Parallel, Concurrent and Distributed Programming https://ilyasergey.net/YSC4231/index.html

Stanford CS149 Parallel Computing https://gfxcourses.stanford.edu/cs149/fall21

UMich EECS570 Parallel Computer Architecture https://www.eecs.umich.edu/courses/eecs570/

UCSD CSE 240B Parallel Data Architecture https://sites.google.com/eng.ucsd.edu/cse240bspring2018/lectures

Washington CSE599I Accelerated Computing Programming GPUs https://tschmidt23.github.io/cse599i/

Rochester CSC258 Parallel and Distributed Systems https://www.cs.rochester.edu/u/sree/courses/csc-258/spring-2018/schedule.html

Gatech CS6290 High Performance Computer Architecture https://omscs.gatech.edu/cs-6290-high-performance-computer-architecture-course-videos

Software Engineering & Security

Stanford CS251 Blockchain Technologies https://cs251.stanford.edu/syllabus.html

Stanford EE374 Blockchain Foundations http://web.stanford.edu/class/ee374/

Princeton COS470 Principles of Blockchains https://web3.princeton.edu/principles-of-blockchains/

Stanford CS155 Computer and Network Security https://cs155.stanford.edu/syllabus.html

Stanford CS253 Web Security https://web.stanford.edu/class/cs253/

Berekeley CS161 Computer Security https://cs161.org/

MIT 6.S060 Foundations of Computer Security https://6s060.csail.mit.edu/2021/

MIT 6.858 Computer Systems Security https://css.csail.mit.edu/6.858

UCSD CSE127 Intro to Computer Security https://cseweb.ucsd.edu/~dstefan/cse127-fall21/

UMich EECS388 Introduction to Computer Security https://eecs388.org/assignments.html

PSU CMPSC447 Software Security https://www.cse.psu.edu/~trj1/cmpsc447-s22/schedule.html

WCUPA CSC472 Software Security https://www.cs.wcupa.edu/schen/ss2022/

MIT 6.031 Software Construction https://web.mit.edu/6.031/www/sp21/

Brown CS0320 Introduction to Software Engineering https://cs0320.github.io/

CMU 17-214 Principles of Software Construction https://www.cs.cmu.edu/~charlie/courses/17-214/2021-spring/

CMU 17-313 Foundations of Software Engineering https://cmu-313.github.io//calendar/

UCLA CS130 Software Engineering https://www.cs130.org/lectures/

Tufts COMP121 Software Engineering https://www.cs.tufts.edu/comp/121/

University of Gothenburg DIT635 Software Quality and Testing https://greg4cr.github.io/courses/spring22dit635/

UCSD CSE210 Principles of Software Engineering https://sites.google.com/eng.ucsd.edu/cse-210-fall-2021/home/contact

UCSB CS272 Software Engineering https://sites.cs.ucsb.edu/~bultan/courses/272/

UMich EECS481 Software Engineering https://web.eecs.umich.edu/~weimerw/481/lectures.html

UMich EECS485 Web Systems https://eecs485staff.github.io/eecs485.org/ https://dijkstra.eecs.umich.edu/kleach/eecs485/su20/

MIT weblab https://weblab.mit.edu/schedule/

Buffalo CSE312 Web Applications https://cse312.com/

Stanford CS142: Web Applications https://web.stanford.edu/class/cs142/lectures.html

Berkeley Linux System Administration https://decal.ocf.berkeley.edu/

Washington CSE391 System and Software Tools https://courses.cs.washington.edu/courses/cse391/22sp/

Stanford CS197 Computer Science Research https://web.stanford.edu/class/cs197/

Berkeley CS298 Research Culture And Community Norms https://inst.eecs.berkeley.edu/~cs298-7/fa21/topic-schedule/

JHU CS624 Reliable Software Systems https://www.cs.jhu.edu/~huang/cs624/spring22/syllabus.html

Brown CSCI2952-F Distributed Systems at Scale: Microservices Management http://cs.brown.edu/courses/csci2952-f/lectures.html

The Debugging Book https://www.debuggingbook.org

The Fuzzing Book https://www.fuzzingbook.org/

AI, Graphics & Applications

UChicago CS11111 Creative Coding https://www.classes.cs.uchicago.edu/archive/2022/winter/11111-1/schedule.html

USTC EE3001 Machine Learning https://miralab.ai/course/ml_2021fall/

CMU 15-462 Computer Graphics http://15462.courses.cs.cmu.edu/fall2021/

Princeton COS426 Computer Graphics https://www.cs.princeton.edu/courses/archive/spring21/cos426/

Stanford CS248 Interactive Computer Graphics https://gfxcourses.stanford.edu/cs248/winter22

Stanford CS348B Image Synthesis Techniques https://gfxcourses.stanford.edu/cs348b/spring22

Stanford CS348K Visual Computing Systems https://gfxcourses.stanford.edu/cs348k/spring22

Washington CSE442 Data Visualization https://courses.cs.washington.edu/courses/cse442/22wi/

MIT 6.893 Philosophy and Theoretical Computer Science https://stellar.mit.edu/S/course/6/fa11/6.893/index.html

Books

Introduction to Theoretical Computer Science https://introtcs.org/public/index.html

The Joy of Cryptography https://joyofcryptography.com/

Manuals

The GNU C Library https://www.gnu.org/software/libc/manual/

Papers

Hints and principles for computer system and design by Butler Lampson (Keep it simple, use abstractions with clean interfaces and write a spec) https://www.microsoft.com/en-us/research/uploads/prod/2019/09/Hints-and-Principles-v1-full.pdf https://www.youtube.com/watch?v=xrR0E7MImAE

Blogs

Gernot's Tips and Guidance for Students Writing Papers and Reports https://gernot-heiser.org/style-guide.html

Bret Victor http://worrydream.com/#!/quotes

Logic Matters https://www.logicmatters.net/

Crafting Interpreters https://craftinginterpreters.com/contents.html

The Law of Leaky Abstraction https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-abstractions/

Why is Paxos Hard? https://xxchan.github.io/cs/2022/02/09/paxos-hard-zh.html

Patterns of Distributed Systems https://martinfowler.com/articles/patterns-of-distributed-systems/

Distributed systems theory for the distributed systems engineer https://www.the-paper-trail.org/post/2014-08-09-distributed-systems-theory-for-the-distributed-systems-engineer/

Web Browser Engineering https://browser.engineering/

Beej's Guide to Network Programming https://beej.us/guide/bgnet/html/index-wide.html

Awesome Database Learning https://github.com/pingcap/awesome-database-learning

TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html

The Tao of PhD https://courses.cs.washington.edu/courses/cse590x/22wi/resources/

Parallel Computing: Theory and Practice http://www.cs.cmu.edu/afs/cs/academic/class/15210-f15/www/tapp.html

Memory Ordering at Compile Time https://preshing.com/20120625/memory-ordering-at-compile-time/

The Science of System Building https://www.linzhong.org/opinions/sciencesofsystembuilding.html

Tips about Writing Systems Papers https://www.linzhong.org/opinions/writing.html

Cooperative Groups: Flexible CUDA Thread Programming https://developer.nvidia.com/blog/cooperative-groups/

Engineering Software as a Service: An Agile Approach Using Cloud Computing http://www.saasbook.info/videos

Computer Networks: A Systems Approach https://book.systemsapproach.org/index.html

Algorithms for Modern Hardware https://en.algorithmica.org/hpc/

Talks

Alan Kay

The Real Computer Revolution Hasn’t Happened Yet https://www.youtube.com/watch?v=MC0_TDrmllM&t=609s http://worrydream.com/refs/Kay%20-%20The%20Real%20Computer%20Revolution%20Hasn%e2%80%99t%20Happened%20Yet.pdf

Normal Considered Harmful https://www.youtube.com/watch?v=FvmTSpJU-Xc&t=2197s

Power of Simplicity https://www.youtube.com/watch?v=NdSD07U5uBs

Education that Takes us to the 22nd Century https://www.youtube.com/watch?v=R1R2jH4PQEo&t=3664s

Powerful Ideas Need Love Too http://worrydream.com/refs/Kay%20-%20Powerful%20Ideas%20Need%20Love%20Too.html

Others

Moshe Vardi: From Aristotle to the iPhone https://www.youtube.com/watch?v=wOQuW6QFdos

Richard W. Hamming: Learning to Learn https://www.youtube.com/playlist?list=PLUeG2W-NLloyr1H2J1wO4MKnvz__B4-u6

Misc

Phd Comics https://phdcomics.com/comics/most_popular.php

A webcomic of romance, sarcasm, math, and language. https://xkcd.com/archive/