Rijnard van Tonder

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