C++ links: compilers - optimization - Induction Variables & Scalar Evolution (SCEV)
See also:
Matt MattPD
MattPD
/ compilers.optimization.scev.md
Last active
June 17, 2026 23:31
compilers.optimization.scev.md
MattPD
/ compilers.optimization.inlining.md
Last active
June 4, 2026 04:44
C++ links: compilers - optimization - inlining
See also:
- An Optimization-Driven Incremental Inline Substitution Algorithm for Just-in-Time Compilers
rust-analyzer
- https://rust-analyzer.github.io/
- Architecture: https://rust-analyzer.github.io/book/contributing/architecture.html
- Explaining rust-analyzer: https://www.youtube.com/playlist?list=PLhb66M_x9UmrqXhQuIpWC5VgTdrGxMx3y
Incremental Packrat Parsing
- SLE 2017
- Patrick Dubroy and Alessandro Warth
- https://ohmlang.github.io/pubs/sle2017/incremental-packrat-parsing.pdf
MattPD
/ compilers.optimization.speculation.md
Created
May 8, 2025 23:16
Compilers: Optimization: Speculation
An intermediate representation for speculative optimizations in a dynamic compiler
- VMIL 2013
- Gilles Duboscq, Thomas Würthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Mössenböck
- https://dl.acm.org/doi/abs/10.1145/2542142.2542143
Correctness of speculative optimizations with dynamic deoptimization
- POPL 2018
- Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
- https://dl.acm.org/doi/abs/10.1145/3158137
MattPD
/ compilers.teaching.md
Last active
May 20, 2026 13:16
- Teaching Compilers: https://danghica.blogspot.com/2020/04/teaching-compilers.html
- Thought Experiment: An Introductory Compilers Class: https://semantic-domain.blogspot.com/2020/02/thought-experiment-introductory.html
- Undergrad Compilers from the Hive Mind: https://eschew.wordpress.com/2020/01/26/undergrad-compilers-from-the-hive-mind/
- ChocoPy: A Programming Language for Compilers Courses: https://chocopy.org/
- Bril: An Intermediate Language for Teaching Compilers: https://www.cs.cornell.edu/~asampson/blog/bril.html
- My First Fifteen Compilers: https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/
- Teaching Compilers Backward: https://blog.sigplan.org/2021/02/23/teaching-compilers-backward/
- Teaching and Learning Compilers Incrementally
- ICFP 2023 Tutorial; Jeremy G. Siek
- https://www.youtube.com/watch?v=UJURb9H_q3A
C++ links: Type Erasure
https://github.com/MattPD/cpplinks / C++ / Type Erasure
(draft; work in progress)
- Back to Basics: Type Erasure
- CppCon 2019; Arthur O'Dwyer
MattPD
/ performance.modeling.criticality.md
Last active
May 20, 2026 13:16
C++ links: Performance Modeling: Criticality
https://github.com/MattPD/cpplinks / Performance / Modeling
See also:
MattPD
/ correctness.industry.draft.md
Last active
August 9, 2025 20:13
Correctness in Practice: Formal Methods and Program Analysis in Industry
Formal Methods and Program Analysis in Industry
(draft)
See also: Compilers: correctness, Software Verification Literature Review (https://alastairreid.github.io/RelatedWork/papers/)
(draft; work in progress)
See also:
- Compilers
- Program analysis:
- Dynamic analysis - instrumentation, translation, sanitizers
NewerOlder