Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Differential Regression Testing for REST APIs
Revisiting the refactoring mechanics
Coverage Guided, Property Based Testing
Property-based random testing, exemplified by frameworks such as Haskell’s QuickCheck, works by testing an executable predicate (a property) on a stream of randomly generated inputs. Property testing works very well in many cases, but not…
Quantum Computing and Workforce, Curriculum, and Application Development: Overview and access
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: An overview and access to hands-on, software-driven curriculum An overview and access to hands-on, software-driven curriculum and, specifically, what makes it pressing and…
Quantum Computing and Workforce, Curriculum, and Application Development: Open Resources
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development Open source resources: Q# and the Microsoft Quantum Development Kit. Learn about the fastest path to quantum development—the Microsoft Quantum Development Kit and…
Quantum Computing and Workforce, Curriculum, and Application Development: Insight into real-world quantum applications
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: Insight into real-world quantum applications We will share results of a partnership with a leading computational chemistry group that yielded open-source, high-performance computational…
Quantum Computing and Workforce, Curriculum, and Application Development: An overview of quantum computing
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: An overview of quantum computing. A brief landscape discussion that includes an overview of Microsoft’s unique approach to Quantum Computing, including our “full…
Productivity in Software Development
In this era of “Internet of Code”, data and metadata around open source projects are available in abundance. While research in program synthesis is not new, deep learning systems that take advantage of large scale…
Increasing AI Programmer Productivity
With the advent of machine learning techniques, programmer productivity is poised to significantly improve. The job of a software engineer is changing into one where they learn a model for a function by using vast…
