Columbia University in the City of New York

Software Systems

Papers from the Wu Lab Accepted to VLDB 2023

Four papers from the Wu Lab were presented at the 49th International Conference on Very Large Data Bases (VLDB 2023).

Unlikely Engineers: The Pianist And The Med Student Who Found Their Future In Code

The MS Bridge program was created to open doors for talented individuals from non-traditional backgrounds to thrive in computer science, and few stories capture that spirit better than those of Ryan Soeyadi and Peter Ma.

New Tool Automates the Formal Verification of Systems Software

Spoq significantly reduces the time and manual effort needed to verify software systems.

About

The Software Systems group pursues fundamental research in all aspects of the design, implementation, analysis, verification, and evaluation of software systems.

The group conducts research with systems at all scales, from handheld devices to cloud computing data centers. They take an experimental systems approach in building real systems to investigate new research ideas, create tools to enable developers to quickly and correctly build complex systems, and teach students how to do it.