Rijnard
van Tonder

About Me

Hi! I'm Rijnard. I work a lot with software. I'm interested in developing new ways to analyze, manipulate, and fix code. I completed my Computer Science Ph.D. at Carnegie Mellon University in 2019. I love research but also want to make those ideas a reality in practice. That's why I currently work at Sourcegraph, where I apply my research background to develop new tools and techniques for large scale code search and automated refactoring.

 Curriculum Vitae.
 Pronounciation.

Selected Publications

• Rijnard van Tonder and Claire Le Goues, Tailoring Programs for Static Analysis via Program Transformation, ICSE '20, to appear.
  Acceptance rate: ¹²⁹⁄₆₁₇ ≈ 20.9%
  
  
• Rijnard van Tonder and Claire Le Goues, Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators, PLDI '19.
  Acceptance rate: ⁷⁶⁄₂₇₄ ≈ 27.7%
  
  
• Asher Trockman, Rijnard van Tonder, and Bogdan Vasilescu Striking Gold in Software Repositories? An Econometric Study of Cryptocurrencies on GitHub (Short), MSR '19.
  Acceptance rate: ¹⁵⁄₄₄ ≈ 34.1%
  
  
• Rijnard van Tonder, Asher Trockman, and Claire Le Goues A Panel Data Set of Cryptocurrency Development Activity on GitHub (Data Showcase), MSR '19.
  Acceptance rate: ¹⁷⁄₄₀ ≈ 42.5%
  
  
• Rijnard van Tonder, Claire Le Goues Towards s/engineer/bot: Principles for Program Repair Bots (Position paper), BotSE@ICSE '19.
  Acceptance rate: ⁷⁄₁₃ ≈ 53.8%
  
  
• Rijnard van Tonder, John Kotheimer, and Claire Le Goues, Semantic Crash Bucketing, ASE '18.
  Acceptance rate: ⁶⁹⁄₃₄₆ ≈ 19.9%
  
  
• Rijnard van Tonder and Claire Le Goues, Cross-Architecture Lifter Synthesis, SEFM '18.
  Acceptance rate: ¹⁷⁄₅₈ ≈ 29.3%
  
  
• Rijnard van Tonder and Claire Le Goues, Static Automated Program Repair for Heap Properties, Distinguished Paper, ICSE '18.
  Acceptance rate: ¹⁰⁵⁄₅₀₂ ≈ 20.9%
  
  
• Ivan Gotovchits, Rijnard van Tonder, and David Brumley, Saluki: Finding Taint-style Vulnerabilities with Static Property Checking, BAR@NDSS '18.
  Acceptance rate: ⁸⁄₂₂ ≈ 36.3%
  
  
• Rijnard van Tonder and Claire Le Goues, Defending against the attack of the micro-clones (Short), ICPC '16.
  Acceptance rate: ¹⁵⁄₃₁ ≈ 48.3%
  
  

Additional Documents

 My Dissertation.

 My Thesis Proposal.

Our research group's award winning paper on automatically fixing COBOL programs, SIGBOVIK '18.

Work Experience

Sourcegraph
Oct 2019-current | Phoenix, AZ |

Working on ubiquitous code search, intelligence, and large scale transformation.

Facebook
May-Aug 2018 | Menlo Park, CA |

Added static taint analysis support to Pyre, the Python static type checker at Facebook.

Carnegie Mellon University
Spring 2018 | Pittsburgh, PA |

Teaching Assistant for 17-819O: Program Analysis.

Facebook
May-Aug 2017 | Menlo Park, CA |

Added parallel processing (5x speedup) and initial LSP support to Pyre, the Python static type checker at Facebook.

Carnegie Mellon University
Spring 2015 | Pittsburgh, PA |

Teaching Assistant for 18-739L (CTF-based security course).

Microsoft Research
May-Jul 2014 | Redmond, WA |

Intern at Microsoft Research with Patrice Godefroid in the RiSE group.

Education

• 2014-2019 |  Ph.D. Computer Science, Carnegie Mellon University
  
  
• 2016-2018 |  M. Software Engineering,
  Carnegie Mellon University
  
  
• 2013-2014 |  M. Eng., Stellenbosch University
  
  
• 2008-2012 |  B.Sc. Hon. Computer Science, Stellenbosch University

Contact

E-mail:
rvantonder@gmail.com

---