Hello. Is sparse going to participate in this year's soc? I e-mailed Josh a day or two ago, but got no answer, and the org application deadline is May 12, 12:00 PDT. I know, last year was not all that successful, but maybe there will be more applications this year. I've got some ideas about abstract interpretation for one. I can't promise that I'll choose sparse, there should be lots of interesting projects this year, but there are other people as well. -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html