Programming languages and software engineering
Project
Supply Chain Security
This project is focused on building tools and techniques to secure the software supply chain.
Publication
Synthesis with Asymptotic Resource Bounds
Publication
Hashing Modulo Alpha-Equivalence
Video
Fuzzing to improve the security and reliability of cloud services with RESTler
In the past few years, cloud services have experienced tremendous growth. Most of these services are programmatically accessed through REST APIs. As the pace of development increases, both the APIs and service implementations are evolving…
Microsoft Research Blog
Creating the Future of Software Development
“If you think about the world that we’re in now, software plays a key role in our lives – in everything we do. And at the core of solving big problems and fundamental challenges is…
Publication
Self-Supervised Bug Detection and Repair
Webinar
Fuzzing to improve the security and reliability of cloud services with RESTler webinar
In this webinar, join Marina Polishchuk, in exploring how RESTler—the first stateful REST API fuzzer—can help efficiently find security and reliability bugs in cloud services. RESTler analyzes a Swagger/OpenAPI specification and produces a fuzzing grammar…
