Concepedia

Rijnard van Tonder

RV

Statistics

Publications

9

Citations

260

H-Index

9

Active since

2014

Affiliations

Carnegie Mellon University(Current)

Rijnard van Tonder is an author at Carnegie Mellon University specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware MaintenanceSoftware DesignSoftware TestingFormal MethodsVerification

Publications per year

2014–2022

9

Publications

9

Static automated program repair for heap properties

Rijnard van Tonder, Claire Le Goues · 2018 · 88 citations · Full text

Software Maintenance, Program Checking, Engineering +20

Semantic crash bucketing

Rijnard van Tonder, John Kotheimer, Claire Le Goues · 2018 · 35 citations

Software Maintenance, Engineering, Semantic Technology +28

Lightweight multi-language syntax transformation with parser parser combinators

Rijnard van Tonder, Claire Le Goues · 2019 · 30 citations · Full text

Syntactic Parsing, Engineering, Software Analysis +19

Towards s/engineer/bot: Principles for Program Repair Bots

Rijnard van Tonder, Claire Le Goues · 2019 · 28 citations

Software Maintenance, Chatbot, Engineering +18

Saluki: Finding Taint-style Vulnerabilities with Static Property Checking

Ivan Gotovchits, Rijnard van Tonder, David Brumley · 2018 · 26 citations · Full text

1–5 of 9