Rijnard van Tonder

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 17

Top Topics

Static Analysis

Relevance Judgements

Symbolic Execution

Top Venues

Publications

Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Rijnard van Tonder
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain. ICSE Companion (2024)
Rijnard van Tonder
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries. ICSE-SEIP (2023)
Rijnard van Tonder
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries. CoRR (2022)
Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Making no-fuss compiler fuzzing effective. CC (2022)
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. ICSE (SEIP) (2022)
Rijnard van Tonder
Towards Fully Declarative Program Analysis via Source Code Transformation. CoRR (2021)
Rijnard van Tonder, Claire Le Goues
Tailoring programs for static analysis via program transformation. ICSE (2020)
Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS (2020)
Rijnard van Tonder, Claire Le Goues
Lightweight multi-language syntax transformation with parser parser combinators. PLDI (2019)
Asher Trockman, Rijnard van Tonder, Bogdan Vasilescu
Striking gold in software repositories?: an econometric study of cryptocurrencies on GitHub. MSR (2019)
Rijnard van Tonder, Claire Le Goues
Towards s/engineer/bot: principles for program repair bots. BotSE@ICSE (2019)
Rijnard van Tonder, Asher Trockman, Claire Le Goues
A panel data set of cryptocurrency development activity on GitHub. MSR (2019)
Rijnard van Tonder, Claire Le Goues
Cross-Architecture Lifter Synthesis. SEFM (2018)
Rijnard van Tonder, John Kotheimer, Claire Le Goues
Semantic crash bucketing. ASE (2018)
Rijnard van Tonder, Claire Le Goues
Static automated program repair for heap properties. ICSE (2018)
Rijnard van Tonder, Claire Le Goues
Defending against the attack of the micro-clones. ICPC (2016)
Rijnard van Tonder, Herman A. Engelbrecht
Lowering the USB Fuzzing Barrier by Transparent Two-Way Emulation. WOOT (2014)