Compilers
Compilers translate one language to another. They're most commonly used to translate higher level languages like C to lower level languages like Assembly.
To Review
CS 6120 :: advanced compilers course https://o1o.ch/about/ interesting compilers work in R
alternative ir structures
gradual typing
different type systems! (tapl)
https://skillsmatter.com/skillscasts/14803-what-s-in-a-functional-compiler what's in a functional compiler? talk https://dl.acm.org/doi/abs/10.1145/512927.512941 first work on verifying and structuring compilers https://hassamuddin.com/blog/reg-alloc/ overview of register allocation https://groups.google.com/g/comp.arch/c/UXEi7G6WHuU/m/Z2z7fC7Xhr8J?pli=1 popcount: the NSA instruction https://vaibhavsagar.com/blog/2019/09/08/popcount/ more on popcount https://oswalt.dev/2020/11/anatomy-of-a-binary-executable/ cool article about whats inside a binary executable secure compilation from amal truffle compiler graphs for real programming languages https://www.youtube.com/watch?v=BRNxM8szTPA&list=PLJq3XDLIJkib2h2fObomdFRZrQeJg4UIW some time on v8 and wasm, from compilers guy idle time garbage collection in-place field representation motivation and examples https://v8.dev/blog/react-cliff vy performance cliff in react
HOPL
Great resource for learning about the history of programming languages research, by definition. https://dl.acm.org/doi/10.1145/1238844.1238853 https://tlbh.it/index.html fun podcast about compilers
pattern matching
https://www.reddit.com/r/ProgrammingLanguages/comments/g1vno3/beginner_resources_for_compiling_pattern_matching/ https://www.reddit.com/r/ProgrammingLanguages/comments/f4gfum/pattern_matching_in_your_language/ http://cone.jondgoodwin.com/coneref/refmatch.html https://www.edx.org/course/compilers http://web.eecs.utk.edu/~azh/blog/teenytinycompiler1.html cool project for a tiny compiler in python! Object Lifetimes - how can a compiler determine when to call the destructor of an object returned from a function? jon blow, game dev and compiler guy http://homes.sice.indiana.edu/samth/ -- sam tobin something, student of matthias https://www.reddit.com/r/ProgrammingLanguages/comments/9bft4d/do_you_know_of_compilerish_job_opportunities_for/ lets build a compiler book compiler neat thing improving compiler correctness using formal methods http://bootstrappable.org/ on trusting trust. ken thompson talk linked at the bottom is great, as are the other articles. great compilers literature https://www.cs.cmu.edu/~janh/courses/411/16/ compiler design course at cmu. https://gist.github.com/cellularmitosis/1f55f9679f064bcff02905acb44ca510#simple-compiler-codebases-to-study https://zserge.com/posts/jvm/ how to write a toy jvm -- try this and put it on github! fun small thing to mess around with. add more to it, add new things, mess aroundand have fun! supposedly good material he compiler is available for download. Get it! research compiler that will become Scala 3 ]] [[https://github.com/barak/stalin]["stalin brutally optimizing Scheme compiler, with Debianization patches" JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS. n esoteric programming language with an unusual compiler backend he single instruction C compiler ":sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes" https://www.reddit.com/r/ProgrammingLanguages/comments/i1s8m0/functional_programming_and_reference_counting/ https://github.com/nanocaml/nanocaml https://github.com/doctorn/micro-mitten Compiler Construction – CSE 131 F19 Tracing JIT vs Method JIT: What to choose? - ProgrammingLanguages in which a compiler takes steps towards strapping its boots - Technomancy Compilers | edX Crafting Interpreters barak/stalin: stalin brutally optimizing Scheme compiler, with Debianizatio Object Lifetimes - how can a compiler determine when to call the destructor Console #9: An Intro to Compilers - YouTube Advice on structuring compilers and proving them correct | Proceedings of t What's in a Functional Compiler? | SkillsCast | 30th July 2020 William J. Bowman @wilbowma@mastodon.social on Twitter: "I generated language validators from my compiler course assignment specifications, turned them into contracts for my reference solution, and it's just finding bug after bug after bug. Bugs in specs, bugs in tests, bugs in implementation." / Twitter Debugging compilers with optimization fuel : Inside 245-5D The General Problem A Quick Introduction to Register Allocation — Hassam Uddin | Developer Functional Programming and Reference Counting - ProgrammingLanguages lots of compilers resources http://worrydream.com/#!/LearnableProgramming designing a programming system for understanding programs compiling with continuations Books let's build a compiler from noah zentzis, someone i talked to at intel. an incremental approach to compiler construction https://www.youtube.com/watch?v=I5UjfaDRFq0&app=desktop intro to ecstacy programming language https://blog.trailofbits.com/2020/05/22/emerging-talent-winternship-2020-highlights/ Implementing functional languages: a tutorial - Microsoft Research Compilers - Compilers for contrarians https://nicoleorchard.com/blog/compilers https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax any function can be called using method calls as well https://mobile.twitter.com/johnregehr/status/1290337031411777537 fun ideas for compiler optimization https://cs.au.dk/~amoeller/spa/ static program analysis course!