The Linux Foundation

business

License: MIT license

Web Page: https://www.linuxfoundation.org/collaborate/workgroups/gsoc/google-summer-code-2014

Mailing List: https://www.linuxfoundation.org/collaborate/workgroups/gsoc/google-summer-code-2014

The Linux Foundation is a nonprofit consortium dedicated to fostering the growth of Linux. Founded in 2007 as a merger of the former Free Standards Group (FSG) and the former Open Source Developer Lab (OSDL), the LF sponsors the work of Linux creator Linus Torvalds and is supported by leading Linux and open source companies and developers from around the world. The Linux Foundation promotes, protects and standardizes Linux by providing unified resources and services needed for open source to successfully compete with closed platforms. More: https://www.linux-foundation.org/en/About All software produced by us is free software published under OSI-approved licenses. See project ideas page for the license used by each project.

Projects

• Color Management Printing Extension for CUPS II This project will continue work from last summer, which hopes to enable a production print workflow suitable for graphics professionals ("perq"). It will do this by extending the CUPS web interface, and modifying its handling of PPD (PostScript Printer Description) files.
• Formalization and Checking of Correct Usage of Kernel Core API LDV Tools tends to increase reliability and efficiency of the Linux kernel. For verification it uses a set of rules of correct usage of the kernel API. Each rule also represents one or more typical misuses of the kernel core interfaces. By the moment, LDV Tools contains about 40 formalized rules. This project is aimed at extending the number of rules supported by the LDV.
• FOSSology+SPDX Project Proposal I am currently a student contributing to the SPDX project at the University of Nebraska at Omaha. This proposal outlines the work I would like to continue to contribute to the SPDX Tooling project. The bulk of this project will be redesigning the FOSSology+SPDX user interface to create a more user oriented system, and improving the performance of the FOSSology source code scanner within the FOSSology+SPDX suite.
• Implement C++ Support for the LSB Data Import Tools Improve LSB data import tools to extract and analyze C++-specific information from shared libraries.
• Improve Allwinner SoCs support on mainline Linux There is a great quantity of devices that are powered by Allwinner processors, including but not limited to the various Cubieboards, OLinuXinos, STBs, Tablets and “Mini PCs”. These devices have become a prime target for makers and tinkerers because of their low price, unbrickability, lack of software locks and ease of software customization. However, support on mainline Linux is not yet feature complete. I would therefore like to work on improving said support.
• IPP over USB on Linux The USB forum has developed IPP over USB but we do not have support for this yet in Linux. This project is to develop such support.
• Linux kernel revoke support for character-devices This project provides the basic building-block to revoke files in the linux kernel. This can be used to implement revoke-like syscalls and file-operations, but focus will be on unifying the helpers of various device-drivers used to implement device-unplugging. Generic revoke() support on any file is not intended, but left for future work.
• LSB projects, Extend and Update LSB Core Test Suite I'm last year student, I've successfully completed GSoC 2013 with similar project. I have experience in model-base testing (including design-by-contract principles), have experience in OLVER. I like work with OLVER, and I would like to extend it.
• Parallel Verification of Linux Kernel Modules The LDV Tools allow to perform verification of almost all kernel modules from the last Linux kernel releases against a wide range of safety properties. The LDV Tools need about a month to perform full verification of kernel modules, since verification consumes a lot of time and memory. This project propose to prepare modules for verification in parallel and perform further verification on a cluster to drastically reduce spending time.
• Public Pool of Bugs in Linux Kernel Modules The Linux Driver Verification project is aimed to develop an open source framework for checking correctness of Linux kernel modules against rule specifications with different static verifiers. LDV Tools can find even more bugs in the Linux kernel modules, than can be reported by the LDV developers. In order to solve this problem it is suggested to develop the public pool of bugs, which will provide all data needed for analysis to module developers.
• Python SPDX parser library A Python library for creating, importing, exporting and manipulating SPDX files. This proposal is for the SPDX working group of the Linux Foundation.
• SPDX Merge Tool Proposal The goal of this project is going to develop a merge tool based on existing SPDX framework. The Merge tool will generate a single SPDX document from two SPDX documents. The output document will be in a standard RDF file, which matches SPDX documentation requirements.
• SPDX Parser library for the Go Programming Language I would like to build a parser library for SPDX in Go, based on the Java implementation already available.
• Web service for Commit Verifier The main goal of my project is to develop web service for Commit Verifier (My Bachelor's project). It is divided into "Client" and "Sever". Also there is the goal to visualize results of developed tools' work.
• Web Tools - Web visualization of BEL graphs OpenBEL is an open source and open community project providing BEL (Biological Expression Language) and a set of tools to process/store biological knowledge. As BEL expressions may become very complex, our project aims to develop a web visualization tool for BEL graph to enhance user's comprehension and interaction, using HTML5 and Javascript libraries.