| 2024 | ICSE | Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain. | Rijnard van Tonder |
| 2023 | ICSE | You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries. | Rijnard van Tonder |
| 2022 | CC | Making no-fuss compiler fuzzing effective. | Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 2022 | ICSE | Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. | Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 2020 | ICSE | Tailoring programs for static analysis via program transformation. | Rijnard van Tonder, Claire Le Goues |
| 2019 | ICSE | Towards s/engineer/bot: principles for program repair bots. | Rijnard van Tonder, Claire Le Goues |
| 2019 | MSR | A panel data set of cryptocurrency development activity on GitHub. | Rijnard van Tonder, Asher Trockman, Claire Le Goues |
| 2019 | MSR | Striking gold in software repositories?: an econometric study of cryptocurrencies on GitHub. | Asher Trockman, Rijnard van Tonder, Bogdan Vasilescu |
| 2019 | PLDI | Lightweight multi-language syntax transformation with parser parser combinators. | Rijnard van Tonder, Claire Le Goues |
| 2018 | ICSE | Static automated program repair for heap properties. | Rijnard van Tonder, Claire Le Goues |
| 2018 | SEFM | Cross-Architecture Lifter Synthesis. | Rijnard van Tonder, Claire Le Goues |