Explore research on software systems at Columbia's Software Systems Lab, covering cloud computing, security, distributed systems, and more.
Discover cutting-edge software systems research
The Software Systems Laboratory (SSL) at Columbia University is dedicated to advancing research in software systems. Here, you can learn about ongoing projects focused on topics like cloud computing, distributed systems, security, and software engineering. The lab is driven by an experimental approach, building and evaluating real systems to test new ideas.
Whether you're a student, researcher, or simply interested in how complex software systems are designed and verified, this site offers insight into the lab's work, faculty, and community. You'll also find links to related resources, publications, and ways to connect with the SSL team for collaboration or learning opportunities.
Discover websites similar to Systems.cs.columbia.edu. Section 1 prioritizes sites with matching domain extensions and/or languages. Section 2 offers worldwide alternatives.
Xen Project offers open source virtualization software and tools, enabling secure, flexible hypervisor solutions for enterprise, cloud, and embedded systems.
Find expert answers and trusted AWS knowledge in one place. AWS re:Post connects you to solutions, official guidance, and a community of cloud professionals.
Pusher offers APIs for developers to easily add real-time collaboration and communication features to web and mobile applications.
Browse thousands of step-by-step tutorials on cloud computing, development, and sysadmin topics to help you build and manage your projects.
Get official Ubuntu images customized for public clouds, Openstack, KVM, and LXD—ready for seamless deployment and cloud-native development.
Microsoft for Startups offers AI founders free Azure credits, tools, and mentorship to help build, launch, and scale their startups. Open to all founders.
A friendly community forum where users and developers connect, ask questions, and share ideas about the Haiku operating system.
Join a vibrant cloud community to connect, learn, and share knowledge about AWS, generative AI, and cloud computing in one central hub.
SUSE offers open source Linux operating systems, cloud solutions, and enterprise server tools to help businesses modernize IT infrastructure and workloads.
CentOS offers a free, open-source Linux distribution that closely follows Red Hat Enterprise Linux, with strong community support and active development.
Discover RISC OS Open, where you can access, contribute to, and discuss the open-source RISC OS operating system and ARM-based development tools.
Explore NOVA Microhypervisor, a research-focused OS project for secure virtualization using a small, trusted microkernel architecture.
Universal Blue offers customizable Linux operating system images and tools for the community, making it easy to reboot and personalize your desktop experience.
Armbian offers a lightweight Linux operating system tailored for ARM, RISC-V, and x86 development boards, with tools and support for easy setup and use.
Explore MIT CSAIL's Parallel and Distributed Operating Systems Group, sharing research, publications, and software on cutting-edge system design and verification.
Gentoo.org is the home of Gentoo Linux, a flexible, source-based operating system with resources, downloads, documentation, and a supportive community.
Sailfish OS is a privacy-focused, European mobile operating system that supports Android apps and offers customization for users and businesses.
openSUSE offers a powerful Linux operating system for desktops and servers, with tools for sysadmins, developers, and users who want the latest software.
FreeRTOS offers a free, open-source real-time operating system for embedded devices, supporting 40+ processor architectures and advanced features.
Tizen offers tools, support, and resources for designing, developing, and publishing apps for the Tizen open-source operating system.
华为开发者官网为开发者提供AI、云计算、鸿蒙等技术资源、社区交流和赛事活动,助你学习、创新并提升开发技能。