* TUXML, Kernel CI, and OSS 2019
[not found] <32627a96-3d76-4436-8529-f48425caf1ab@Spark>
@ 2019-10-27 16:45 ` Mathieu Acher
0 siblings, 0 replies; only message in thread
From: Mathieu Acher @ 2019-10-27 16:45 UTC (permalink / raw)
To: info
[-- Attachment #1: Type: text/plain, Size: 1313 bytes --]
Dear colleagues,
We are researchers at Inria (France) working on software configurable systems in general.
Recently we have made lots of effort with Linux: we have basically build 95K+ configurations using ranconfig.
Our attempt is quite similar to KernelCI, the platform you’ve developed.
We have developed some techniques to identify what (combinations of) options lead to a failure (a non-trivial problem!), with two main applications in mind: (1) configuration bug location/understanding (2) preventing configurations’ build that will anyway lead to a failure. We mainly use randconfig.
More details can be found here:
https://hal.inria.fr/hal-02147012
We have also made some efforts about predicting kernel sizes:
https://hal.inria.fr/hal-02314830
It would be very nice to know more about your infrastructure, your strategy for sampling configurations, and basically your insights. We can also chat a bit about our approach and potential complementarity.
Would you be available for discussing?
I guess some of you will be at OSS in Lyon.
I’m giving a talk on Wednesday
https://sched.co/TLKI and I’m here until Thursday (included)
Best regards,
Dr. Mathieu ACHER, Associate Professor
Univ Rennes, Inria, CNRS, IRISA, France (DiverSE team)
http://www.mathieuacher.com/
[-- Attachment #2: Type: text/html, Size: 2754 bytes --]
^ permalink raw reply [flat|nested] only message in thread