Coping with Copilot
CS educators: AI-based developer tools are gunning for your assignments. Resistance is futile.
When Compiler Optimization Meets Binary Code Difference
How does compiler optimization affect binary code differences? In this work, we perform a systematic study using search-based iterative compilation. We have built an auto-tuning framework called BinTuner that iteratively compiles to adjust the differences in binary code. Our results demonstrate the effect of modern compiler optimization on binary code difference has been swept under the carpet for a long time. We wish our study can help the research community redesign the optimization-resistance experiments and evaluate the compiler-agnostic capability.
Reflective Towers of Interpreters
We give an introduction to reflective towers of interpreters, a semantic model of reflection with a user level interpreted by a meta level interpreted by a meta meta level and so on.
Test Case Reduction: Beyond Bugs
Did you think test case reduction was all about debugging? Find out how test case reducers can be used for program optimisation, to generate high coverage tests, for program understanding, and even for fuzzing!
An Overview of Test Case Reduction
Test case reducers are useful tools that can help you to simplify complex inputs that trigger bugs. In this post — the first in a series — we’ll give an overview of how test case reducers work.
Fluent API: Practice and Theory
Fluent APIs emerge from a funky and popular design technique. We learn what they are, how they benefit programmers, and how to create them.
