Rijnard van Tonder
Carnegie Mellon University - Cited by 127 - Software Engineering - Program Transformation - Automatic Program Repair - Program Analysis - Software Security
Static automated program repair for heap properties R van Tonder, C Le Goues Proceedings of the 40th International Conference on Software Engineering�…, 2018 1622018 Guidelines for empirical studies in software engineering involving large language models S Baltes, F Angermeir, C Arora, MM Bar�n, C Chen, L B�hme, F Calefato, ... arXiv preprint arXiv:2508.15503, 2025 852025 Semantic Crash Bucketing R van Tonder, J Kotheimer, C Le Goues Proceedings of the 33rd ACM/IEEE International Conference on Automated�…, 2018 612018 Lightweight multi-language syntax transformation with parser…
related reading
- Rewriting Bun in Rust | Bun Blogbun.com
- Assessing Claude Mythos Preview’s cybersecurity capabilities \ Anthropicred.anthropic.com
- ProgramBenchprogrambench.com
- 2502.18449arxiv.org
- Thompson_1984_ReflectionsonTrustingTrust.pdfcs.cmu.edu
- The Great Refactor | IFPifp.org
- Finding Miscompiles for Fun, Not Profit - by Justin Lebarnewsletter.semianalysis.com
- From Naptime to Big Sleep: Using Large Language Models To Catch Vulnerabilities In Real-World Code - Project Zerogoogleprojectzero.blogspot.com
- DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detectionarxiv.org
- Stephen Wolfram Writingswritings.stephenwolfram.com
- CodeQL zero to hero part 1: The fundamentals of static analysis for vulnerability researchgithub.blog
- Earn $200K by fuzzing for a weekend: Part 1 | secret clubsecret.club