Gregory James DUCK

APR'25 will be co-located with @ICSEconf 2025! Organized by @ye_he_ye (CMU), @clarkcp93 (ByteDance), @sergey_mechtaev (PKU), Tegawendé Bissyandé (Uni. of Luxembourg) Top papers invited to a special issue on APR in ASE journal after revision. program-repair.org/workshop-2025/ #APR2025

🚀 Releasing AutoCodeRover-v2 (v20240620)! 🚀 We’re excited to release AutoCodeRover-v2, which is now more capable and open-source! Our source code is now open for non-commercial use. You can apply for access today at #application" target="_blank" rel="nofollow noopener">autocoderover.dev/#application #AutoCodeRover #OpenSource

The tool is publicly available -- give it a try and see how many bugs you can find😈 👉Source code: github.com/GJDuck/EnvFuzz [2/2]

If you want to know how to fuzz the full program environment, check out our latest work with @GJ_Duck and @AbhikRoychoudh1, accepted by @acm_ccs. This work is designed to fuzz everything with program environment fuzzing. 👉Preprint: mengrj.github.io/pdfs/EnvFuzz-C… [1/2]

I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated! yannicnoller.github.io/positions/

We instead should (ideally) test the whole program environment and this is where recent awesome CCS’24 paper by @RuijieMeng, @GJ_Duck & @AbhikRoychoudh1 would shine!! I think the tool does not support kernel space yet so it may not be applicable to the Falcon sensor case though.