Software Engineering Economics
Software Engineering Economics
A new instructional operating system
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
PortOS: an educational operating system for the Post-PC environment
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Running on the bare metal with GeekOS
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Operating Systems (3rd Edition)
Operating Systems (3rd Edition)
Teaching operating systems administration with user mode linux
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Experiences teaching operating systems using virtual platforms and linux
Proceedings of the 36th SIGCSE technical symposium on Computer science education
A survey of contemporary instructional operating systems for use in undergraduate courses
Journal of Computing Sciences in Colleges
RaceTrack: efficient detection of data race conditions via adaptive tracking
Proceedings of the twentieth ACM symposium on Operating systems principles
QEMU, a fast and portable dynamic translator
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
The Nachos instructional operating system
USENIX'93 Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings
Role of the C language in current computing curricula part 1: survey analysis
Journal of Computing Sciences in Colleges
Using iPodLinux in an introductory OS course
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Journal of Computing Sciences in Colleges
Computer Systems: A Programmer's Perspective
Computer Systems: A Programmer's Perspective
Teaching operating systems using virtual appliances and distributed version control
Proceedings of the 41st ACM technical symposium on Computer science education
Teaching operating systems: windows kernel projects
Proceedings of the 41st ACM technical symposium on Computer science education
VIREOS: an integrated, bottom-up, educational operating systems project with FPGA support
Proceedings of the 42nd ACM technical symposium on Computer science education
Structured linux kernel projects for teaching operating systems concepts
Proceedings of the 42nd ACM technical symposium on Computer science education
Teaching operating systems using android
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Supporting operating systems projects using the μMPS2 hardware simulator
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Experiences in teaching an educational user-level operating systems implementation project
ACM SIGOPS Operating Systems Review
Visualization of student-implemented OS algorithms in Java
Journal of Computing Sciences in Colleges
| Hi-index | 0.00 |
Pintos is an instructional operating system, complete with documentation and ready-made, modular projects that introduce students to the principles of multi-programming, scheduling, virtual memory, and filesystems. By allowing students to run their work product on actual hardware, while simultaneously benefiting from debugging and dynamic analysis tools provided in simulated and emulated environments, Pintos increases student engagement. Unlike tailored versions of commercial or open source OS such as Linux, Pintos is designed from the ground up from an educational perspective. It has been used by multiple institutions for a number of years and is available for wider use.