Dear all,

I just wanted to quickly share with you some recent news concerning Google Summer of Code projects, which I announced two months ago.

The project proposals of three Google Summer of Code students contributing to Linux kernel verification have been accepted. The three students, Isaac Avram (Izzy), Mark Balantzyan, and Himanshu Jha have proposed the following topics:

Isaac Avram (Izzy): Extending Coccinelle with Complex Types
Mark Balantzyan: Analysing Race Conditions in the Linux Kernel
Himanshu Jha: Applying Clang Thread Safety Analyser to Linux Kernel

They will be mentored by Julia Lawall, Alexey Khoroshilov and Lukas Bulwahn, respectively. These three Google Summer of Code projects are governed under the umbrella of the Linux Foundation and the projects are contributing to generally relevant activities for the ELISA Project.

More specifically, one of the building blocks to the safety compliance argumentation in the ELISA Project is the research, investigation, experimentation, use and establishment of verification measures and tools in the Linux kernel development. The ELISA Project embraces the activities in these projects and is looking forward to the projects' results and the inclusion of new members to the verification activities around the Linux kernel development through the Google Summer of Code student program.

(You find this text above on the elisa.tech webpage in the NEWS section as well.)

If you are more interested in those topics, please contact me or any of the mentors. Also, if you want to assist in mentoring, engage or provide feedback on our work, please let the according mentor know and we will make sure that you are in the communication loop of those projects.

Also, if you have other topics that are suitable for a student mentorship program, please let us know. There are more possibilities to reach out to students in further programs thoughout the year. Mentees, mentors and good project ideas are always welcome.


Best regards,

Lukas

Dear all,

I just wanted to quickly share with you some recent news concerning Google Summer of Code projects, which I announced two months ago.

The project proposals of three Google Summer of Code students contributing to Linux kernel verification have been accepted. The three students, Isaac Avram (Izzy), Mark Balantzyan, and Himanshu Jha have proposed the following topics:

Isaac Avram (Izzy): Extending Coccinelle with Complex Types
Mark Balantzyan: Analysing Race Conditions in the Linux Kernel
Himanshu Jha: Applying Clang Thread Safety Analyser to Linux Kernel

They will be mentored by Julia Lawall, Alexey Khoroshilov and Lukas Bulwahn, respectively. These three Google Summer of Code projects are governed under the umbrella of the Linux Foundation and the projects are contributing to generally relevant activities for the ELISA Project.

More specifically, one of the building blocks to the safety compliance argumentation in the ELISA Project is the research, investigation, experimentation, use and establishment of verification measures and tools in the Linux kernel development. The ELISA Project embraces the activities in these projects and is looking forward to the projects' results and the inclusion of new members to the verification activities around the Linux kernel development through the Google Summer of Code student program.

(You find this text above on the elisa.tech webpage in the NEWS section as well.)

If you are more interested in those topics, please contact me or any of the mentors. Also, if you want to assist in mentoring, engage or provide feedback on our work, please let the according mentor know and we will make sure that you are in the communication loop of those projects.

Also, if you have other topics that are suitable for a student mentorship program, please let us know. There are more possibilities to reach out to students in further programs thoughout the year. Mentees, mentors and good project ideas are always welcome.


Best regards,

Lukas