Hands-on, Minds-on Learning in Systems Software: Linux Kernel, Memory Transactions, and Theorem Proving
Abstract
ITPR#140091University Research Initiatives (URI) Virginia Tech proposes to increase the pool of computer scientists and engineers who are equipped with highly specialized skills in systems software ~ i.e., a broad range of infrastructure software including operating systems, hypervisors, middleware, compilers, and libraries ~ from which the Navy can recruit, in particular for the Warfare Centers. We propose three undergraduate/graduate courses in the spaces of operating systems, concurrency, and software certification: Linux kernel programming, transactional memory, and interactive theorem proving. Knowledge in these areas is vital for the construction of Naval systems (e.g., Aegis, SLBM, SSGN), as they are increasingly software-intensive, have increasing demands to exploit advances in commodity hardware for improved properties (e.g., performance, security, maintenance), and require increasing levels of assurance. The proposal includes developing the course materials, teaching the courses in pilot mode for three years, subsequently integrating them into VT~s Computer Science/Engineering curricula, and widely disseminating the course materials to other universities for national scale-up.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 23, 2016
- Source ID
- N000141612818
Entities
People
- Binoy Ravindran
Organizations
- Office of Naval Research
- United States Navy
- Virginia Tech