Matt MattPD

421 followers · 138 following

View GitHub Profile

Recently created

Least recently created

Recently updated

Least recently updated

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 8, 2025 18:19

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 / cpp.type_erasure.draft.md

Created June 17, 2021 17:28

C++ Links: Type Erasure (WIP draft)

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 / performance.modeling.criticality.md

Last active January 5, 2024 08:24

C++ links: Performance Modeling: Criticality

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

See also:

performance tools
- microarchitecture

Criticality

MattPD / cpp.std.modules.draft.md

Last active January 6, 2025 04:36

C++ links: Modules (WIP draft)

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.industry.draft.md

Last active January 20, 2025 01:14

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/)

2023

MattPD / analysis.draft.md

Last active April 12, 2025 10:15

Program Analysis Resources (WIP draft)

Program Analysis Resources

(draft; work in progress)

See also:

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

MattPD / cpp.std.coroutines.draft.md

Last active April 10, 2025 13:50

C++ links: Coroutines (WIP draft)

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 / set_benchmark.cpp

Created October 8, 2016 15:54

Find Example - Benchmark (Nonius) Code

	/* 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 / gist:06e293fb935eaf67ee9c301e70db6975

Last active May 1, 2016 22:12

	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:

NewerOlder