MattPD

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

• 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

MattPD

C++ links: Type Erasure

https://github.com/MattPD/cpplinks / C++ / Type Erasure

(draft; work in progress)

Type Erasure

• Back to Basics: Type Erasure
  • CppCon 2019; Arthur O'Dwyer

MattPD

C++ links: Performance Modeling: Criticality

https://github.com/MattPD/cpplinks / Performance / Modeling

See also:

• performance tools
  • microarchitecture

Criticality

MattPD

C++ links: Modules

https://github.com/MattPD/cpplinks / C++ Standard / C++20 / Modules

Contents

• Readings: WG21 papers
• Talks: 2024, 2021, 2020, 2019, 2018, 2017

---

MattPD

Correctness in Practice

Formal Methods and Program Analysis in Industry

(draft)

See also: Compilers: correctness, Software Verification Literature Review (https://alastairreid.github.io/RelatedWork/papers/)

2025

MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

MattPD

C++ links: Coroutines

https://github.com/MattPD/cpplinks / C++ Standard / C++20 / Coroutines

(draft; work in progress)

#coroutines (C++ Slack): https://cpplang.slack.com/archives/C5JS5JXT5

Contents

MattPD

/* Running:
BNSIZE=10000; BNQUERIES=1000

./find --param=size:$BNSIZE --param=queries:$BNQUERIES >
  results.size=$BNSIZE.queries=$BNQUERIES.txt

./find --param=size:$BNSIZE --param=queries:$BNQUERIES --reporter=html
  --output=results.size=$BNSIZE.queries=$BNQUERIES.html
*/

MattPD

Related to discussion of
http://larshagencpp.github.io/blog/2016/05/01/a-cache-miss-is-not-a-cache-miss
at https://twitter.com/gregerlars/status/726781584481878017

Three variants:
- Simple: cacheS
- Pointer: cacheP
- LinkedList: cacheL

Context -- looking at average stall durations, we can confirm that cacheL wastes considerably more instruction slots than cacheP, which wastes only somewhat more instruction slots than cacheS: