On 04.04.2017 16:45, Jason A. Donenfeld wrote: > On Tue, Apr 4, 2017 at 2:03 PM, Till Kamppeter <[email protected]> > wrote: >> So I have starred (meaning "We want this"): >> >> - Anton Volkov: Finding bugs related to the data races in Linux kernel >> >> - Anton Vasilyev: Finding bugs related to the memory errors in Linux kernel > Excuse my ignorance, but when you load up the proposal, doesn't it > really seem like these are the same person? > There were two applications from the same student who did not manage to choose from two proposed topics. But we have selected the only application of that two.
As a result, we have two good applications from students who already made their contribution to the open source analysis tool [1]. Now they can get a good chance to improve the Linux by thorough application of the tool to the kernel code. [1] https://github.com/sosy-lab/cpachecker/blob/410ff24d48bb3c00fcdece5177a048d26f2f84e2/Authors.txt -- Alexey _______________________________________________ lsb-discuss mailing list [email protected] https://lists.linuxfoundation.org/mailman/listinfo/lsb-discuss
