• Sign in
  • Sign up
conf.researchr.org / Jaco Geldenhuys
  • * ICSE 2018 * profile
  • ESEC/FSE 2023 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ISSTA 2020 profile
  • ISSTA 2022 profile
Jaco Geldenhuys

Registered user since Thu 7 Dec 2017

Name:Jaco Geldenhuys
Country:South Africa
Affiliation:University of Stellenbosch, South Africa
Personal website: http://www.cs.sun.ac.za/~jaco/
Research interests:Software verification, Symbolic and concolic execution, Software testing

Contributions

2023

ESEC/FSE

  • Panelist of Academic vs. industrial careers within the Industry Mentoring Symposium-track
  • Mentor in Program Committee within the Industry Mentoring Symposium-track
  • Panelist of Technical skills you learned in your SE PhD: how they are used in industry, and how to find a job that leverages them within the Industry Mentoring Symposium-track

2022

ISSTA

  • Author of Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting within the Keynotes-track

2020

ISSTA

  • Session Chair of Summer School (part of Summer School)
  • Doctoral Symposium Co-Chair in Program Committee within the Doctoral Symposium-track
  • Doctoral Symposium Co-Chair in Organizing Committee

ICSE

  • Committee Member in Program Committee within the New Ideas and Emerging Results-track

2019

ICSE

  • Committee Member in Program Committee within the Technical Track-track

2018

SEiA

  • Programme Committee in Program Committee within the SEiA-track
  • Session Chair of Big Data (part of SEiA)
Share
xMon 16 Jun 16:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up