Rijnard van Tonder

According to our database, Rijnard van Tonder authored at least 18 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation.

Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce

Proc. ACM Softw. Eng., 2024

Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain.

Rijnard van Tonder

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries.

Rijnard van Tonder

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts.

Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Making no-fuss compiler fuzzing effective.

Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

Towards Fully Declarative Program Analysis via Source Code Transformation.

Rijnard van Tonder

CoRR, 2021

2020

Tailoring programs for static analysis via program transformation.

Rijnard van Tonder, Claire Le Goues

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Building Reusable Repertoires for Stochastic Self-* Planners.

Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Automated Program Transformation for Improving Software Quality.

Rijnard van Tonder

PhD thesis, 2019

Lightweight multi-language syntax transformation with parser parser combinators.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Striking gold in software repositories?: an econometric study of cryptocurrencies on GitHub.

Asher Trockman, Rijnard van Tonder, Bogdan Vasilescu

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

A panel data set of cryptocurrency development activity on GitHub.

Rijnard van Tonder, Asher Trockman, Claire Le Goues

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Towards s/engineer/bot: principles for program repair bots.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 1st International Workshop on Bots in Software Engineering, 2019

2018

Cross-Architecture Lifter Synthesis.

Rijnard van Tonder, Claire Le Goues

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Semantic crash bucketing.

Rijnard van Tonder, John Kotheimer, Claire Le Goues

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Static automated program repair for heap properties.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 40th International Conference on Software Engineering, 2018

2016

Defending against the attack of the micro-clones.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2014

Lowering the USB Fuzzing Barrier by Transparent Two-Way Emulation.

Rijnard van Tonder, Herman A. Engelbrecht

Proceedings of the 8th USENIX Workshop on Offensive Technologies, 2014