Programming languages and software engineering
Microsoft Research Blog
LAMBDA: The ultimate Excel worksheet function
Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it each day.…
Publication
A Modern Compiler for the French Tax Code
Video
The actors behind Flash Fill
Sumit acknowledges 5 sets of people in this 5-minute award acceptance talk for his “most influential” POPL 2011 paper, which describes the technology behind the popular Flash Fill feature in Excel. He shares inside stories…
Video
The story of Flash Fill and (how it shaped) me
On the occasion of receiving the most influential test-of-time paper award for his POPL 2011 paper (which describes the technology behind the popular Flash Fill feature in Excel), Sumit shares stories related to his inspiration…
Video
Microsoft Research sponsors POPL 2021
Presented by the Calc Intelligence team: https://aka.ms/calcintel 0:00 – Introduction, Andy Gordon 4:08 – LAMBDA in action, Jack Williams 8:47 – How we started the collaboration with Excel, Simon Peyton Jones 13:08 – Elastic sheet-defined…
Event
Microsoft at POPL 2021
Microsoft is proud to be a sponsor of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). You can find out more about our research in programming languages and apply for open…
Dataset Source Code
Weak-Isolation-Mock-DB
About In-memory key-value store for testing applications against weak behaviors of a database.
Dataset Source Code
Lean 4
Lean 4 programming language and theorem prover Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming…