by Stefan Marr on Jul 8, 2024 | Tags: academic writing, benchmarks, Measurements, performance, systems
When we start moving our programming language ideas from the world of proofs to the world of practical implementations, we start to encounter many different problems, one of which is performance. While the most important performance improvement is to go from a...
Read more...
by Talia Ringer on Jan 29, 2020 | Tags: benchmarks, metatheory, proof engineering, retrospective
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.
Read more...
