GSOC 2024

[krishbansal10]

Hi @PhilippWendler,

I am really excited and looking forward to working on a project under your guidance, i.e. Improvements to generated tables for BenchExec. How am I supposed to start contributing and is Linux knowledge required?

Greetings,
Krish

[PhilippWendler]

Hi and welcome!

I don't think there is anything particular that you need to know before contributing. For getting to know BenchExec I would in general recommend to first get started with understanding BenchExec, for example by reading our paper and trying out BenchExec in practice. The benchmarking part requires Linux, but if you want to work only on the HTML tables, you don't need it in principle. You should be able to run table-generator with some existing result files and table-generator only needs Python and works on Windows. There are some (old) existing result files in the directory benchexec/tablegenerator/test_integration/ and here.

For the generated tables, we have an online example. There are many improvement ideas about them, have a look at our issues labeled with HTML table. Our developer instructions and the source code are in this part of the repository.

If you have questions just ask me.

Greetings
Philipp