SANAD Research Lab

Software Analysis and Developer Support

Welcome to the SANAD Lab at New York University Abu Dhabi! SANAD stands for Software Analysis and Developer Support, and that’s what we’re all about! Our mission is to enhance how software engineers develop and maintain software systems by providing them with the tools and insights that they need. In Arabic, SANAD (سند) means support. As software systems grow more intricate, we aim to simplify life for developers through support tools that enhance their efficiency and effectiveness. Our expertise lies in program analysis and software analytics. We work on improving the precision and scalability of static analyses and on uncovering insights from software repositories (e.g., version control systems, issue trackers etc). Examples of our current research projects include: • Detecting API misuse to help developers use third-party libraries correctly • Designing a program analysis framework for Swift Applications (SWAN) • Identifying security vulnerabilities to make systems safer • Library migration to support seamless upgrades and transition • Using LLMs for software engineering tasks