Software Foundations Lab (SFLab) focuses on theoretically interesting problems about software that are also practically useful. Please visit our lab website for the details of our current research.