Polly - Polyhedral optimizations for LLVM
intro-to-polyhedral-model.pdf
CSE 231
CSE 231: Advanced Compilers
C++ Programming Language - GeeksforGeeks
Why doesn't C++ have a garbage collector? - Stack Overflow
UCSD CSE231 – Advanced Compiler Design
Chocopy Hacking Part 2: Building a JVM Backend
Home — Memory Management Reference 4.0 documentation
Chocopy Hacking Part 2: Building a JVM Backend
bollu/notes: Latex notes on papers, courses, ideas: Pure math and computer science.
How Does a Database Work? | Let’s Build a Simple Database
Compilers - What Every Programmer Should Know About Compiler Optimizations | Microsoft Docs
L2-Intro-to-Dataflow
Data-flow analysis - Wikipedia
Pick a Vulnerability to Learn About
Researcher Resources - How to become a Bug Bounty Hunter - Starter Zone - Bugcrowd Forum
Hacker101
(3) 2021 - Information-flow Control Libraries - Alejandro Russo - YouTube
(3) 2019 - Security-Typed Languages - Andrew Myers - YouTube
CS231n Winter 2016 - YouTube
(3) Algorithmic Game Theory (Stanford CS364A, Fall 2013) - YouTube
Tracing the compilation of Hello Factorial! : ezyang’s blog
Understanding contravariance
haskell - How to use ExceptT to replace lots of IO (Either a b) - Stack Overflow
Titanic Model with 90% accuracy | Kaggle
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code
(1) f(by) 2019 - Christoph Hegemann, TYPE INFERENCE FROM SCRATCH - YouTube
(1) Type Inference from Scratch: A Workshop with Christoph Hegemann - YouTube
(1) Simon Peyton Jones how GHC type inference engine actually works - YouTube