• Sign in
  • Sign up
conf.researchr.org / Cedric Richter
  • ASE 2022 profile
  • ASE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
Cedric Richter

Registered user since Tue 6 Sep 2022

Name:Cedric Richter
Country:Germany
Affiliation:University of Oldenburg
Personal website: https://uol.de/informatik/formale-methoden/team/cedric-richter
X (Twitter): https://x.com/cedrichter
GitHub: https://github.com/cedricrupb
Research interests:Machine Learning, Programming Language Processing, Program Analysis

Contributions

2025

ICSE

  • Author of Cooperative Software Verification via Dynamic Program Splitting within the Research Track-track

2024

FormaliSE

  • Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track

2022

ASE

  • Author of Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? within the Research Papers-track
Share
xMon 23 Jun 11:39
using conf.researchr.org (v1.69.0)
Support page
Sign Up