Follow
Rijnard van Tonder
Title
Cited by
Cited by
Year
Static automated program repair for heap properties
R van Tonder, C Le Goues
Proceedings of the 40th International Conference on Software Engineering …, 2018
1272018
Semantic Crash Bucketing
R van Tonder, J Kotheimer, C Le Goues
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
512018
Lightweight multi-language syntax transformation with parser parser combinators
R Van Tonder, C Le Goues
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
382019
Saluki: finding taint-style vulnerabilities with static property checking
I Gotovchits, R Van Tonder, D Brumley
Proceedings of the NDSS Workshop on Binary Analysis Research 2018, 2018
362018
Towards s/engineer/bot: principles for program repair bots
R van Tonder, C Le Goues
Proceedings of the 1st International Workshop on Bots in Software …, 2019
242019
Defending against the attack of the micro-clones
R van Tonder, C Le Goues
2016 IEEE 24th International Conference on Program Comprehension (ICPC), 1-4, 2016
202016
Striking Gold in Software Repositories? An Econometric Study of Cryptocurrencies on GitHub.
A Trockman, R van Tonder, B Vasilescu
Mining Software Repositorie 23 (2), 800-832, 2019
182019
Making no-fuss compiler fuzzing effective
A Groce, R van Tonder, GT Kalburgi, C Le Goues
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
112022
Lowering the USB Fuzzing Barrier by Transparent Two-Way Emulation
R Van Tonder, H Engelbrecht
8th USENIX Workshop on Offensive Technologies (WOOT), 2014
112014
A panel data set of cryptocurrency development activity on GitHub
R van Tonder, A Trockman, C Le Goues
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
102019
Looking for lacunae in bitcoin core's fuzzing efforts
A Groce, K Jain, R van Tonder, GT Kalburgi, C Le Goues
Proceedings of the 44th International Conference on Software Engineering …, 2022
72022
Building reusable repertoires for stochastic self-* planners
C Kinneer, R Van Tonder, D Garlan, C Le Goues
2020 IEEE International Conference on Autonomic Computing and Self …, 2020
72020
Tailoring Programs for Static Analysis via Program Transformation
R van Tonder, C :Le Goues
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
42020
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
S Deb, K Jain, R Van Tonder, C Le Goues, A Groce
Proceedings of the ACM on Software Engineering 1 (FSE), 654-674, 2024
22024
Towards Fully Declarative Program Analysis via Source Code Transformation
R van Tonder
arXiv preprint arXiv:2112.12398, 2021
12021
Cross-architecture lifter synthesis
R van Tonder, C Le Goues
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
12018
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
R van Tonder
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024
2024
You Don’t Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries
R van Tonder
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
2023
Message from the MSR 2023 Industry Track Co-Chairs
L Moreno, R Van Tonder, Y Kamei
Proceedings-2023 IEEE/ACM 20th International Conference on Mining Software …, 2023
2023
Automated Program Transformation for Improving Software Quality
R van Tonder
Carnegie Mellon University, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20