@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 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
@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
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)
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
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
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!
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