Cedric Richter

Research scientist at University of Oldenburg. Interested in teaching machines the art of debugging.

[Cedric Richter @cedrichter]

@haltermannj presenting our work on „Parallel Program Analysis via Range Splitting“ @FaseConf @ETAPSconf

By splitting programs into ranges, we can not only run the same analysis in parallel, but also multiple analyses on different ranges.

[FoelliX @FoelliXde]

@cedrichter just presented our https://t.co/2cf7Gx5mEW study at #ASE2022 @ASE_conf in which we compared software developers against neural bug detectors on their ability to find variable misuse bugs. https://t.co/jKEyoYDkQK

[Cedric Richter @cedrichter]

@FoelliXde presents „TaintBench: Automatic Benchmarking for Android Taint Analysis“ at #ICSE2022. Not only a completly new benchmark for Android but also more: https://t.co/Fm5jSsF07T

[Cedric Richter @cedrichter]

Do you need a bug? Or want to learn more about the TSSB-3M dataset?

Then visit me live at the @msrconf poster session at 3:30pm and get your own bug coin!

[Cedric Richter @cedrichter]

Very happy and honoured of being a part of FASE Session at @ETAPSconf ! It was a lot of fun presenting our work on combinations in software verifications

[Jan Haltermann @haltermannj]

@cedrichter gives the First Presentation in @ETAPSconf !
Nicely done 🥳

[Cedric Richter @cedrichter]

What excites me the most about the acceptance is that I can finally talk about some exciting libraries created during this project.

So if you interested in bug detection or programming language processing follow me (or have a peek at the repositories :D)

[Cedric Richter @cedrichter]

Interested in how developers introduce simple bugs into code and fix them with a single statement?

Excited that our paper on "TSSB-3M: Mining single statement bugs at massive scale" was accepted at @msrconf data showcase track.

Preprint: https://t.co/8oW14dwQuK

[Cedric Richter @cedrichter]

If you want to look whether your bug is included in our collection, our datasets are available here: https://t.co/hUhLQsmURC

More information about the project are available here: https://t.co/rzqX3M4NBt

8 / 8

[Cedric Richter @cedrichter]

If you are interested in neural bug detection or curios on what types of bugs neural bug detectors are commonly tested on, consider participating in our developer study:

https://t.co/3acxP7N2Nq

We test how well humans are suited as bug detectors!

[Cedric Richter @cedrichter]

Did you ever wonder whether plain random mutations are sufficient for neural bug detection?

Happy to share that our paper "Learning Realistic Mutations: Bug Creation for Neural Bug Detectors" was accepted @icstconference.

Demo: https://t.co/OOz09W2cIm

[Cedric Richter @cedrichter]

Now, it is your turn.

Play around with our contextual mutator in your browser: https://t.co/sHdiNsJEws

Paper will follow soon.