Cedric Richter

@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.

@cedrichter just presented our FixMyVars.uol.de study at #ASE2022 @ASE_conf in which we compared software developers against neural bug detectors on their ability to find variable misuse bugs. conf.researchr.org/details/ase-20…

@FoelliXde presents „TaintBench: Automatic Benchmarking for Android Taint Analysis“ at #ICSE2022. Not only a completly new benchmark for Android but also more: taintbench.github.io

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!

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

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)

If you want to look whether your bug is included in our collection, our datasets are available here: zenodo.org/record/5845439 More information about the project are available here: cedricrupb.github.io/TSSB3M/ 8 / 8

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: arxiv.org/pdf/2201.12046…

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: FixMyVars.uol.de We test how well humans are suited as bug detectors!

Now, it is your turn. Play around with our contextual mutator in your browser: colab.research.google.com/github/cedricr… Paper will follow soon.

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: github.com/cedricrupb/ctx…