Static automated program repair for heap properties R van Tonder, C Le Goues Proceedings of the 40th International Conference on Software Engineering …, 2018 | 127 | 2018 |
Semantic Crash Bucketing R van Tonder, J Kotheimer, C Le Goues Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 51 | 2018 |
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 | 38 | 2019 |
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 | 36 | 2018 |
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 | 24 | 2019 |
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 | 20 | 2016 |
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 | 18 | 2019 |
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 | 11 | 2022 |
Lowering the USB Fuzzing Barrier by Transparent Two-Way Emulation R Van Tonder, H Engelbrecht 8th USENIX Workshop on Offensive Technologies (WOOT), 2014 | 11 | 2014 |
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 | 10 | 2019 |
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 | 7 | 2022 |
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 | 7 | 2020 |
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 | 4 | 2020 |
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 | 2 | 2024 |
Towards Fully Declarative Program Analysis via Source Code Transformation R van Tonder arXiv preprint arXiv:2112.12398, 2021 | 1 | 2021 |
Cross-architecture lifter synthesis R van Tonder, C Le Goues Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 1 | 2018 |
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 |