Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project
Ziria – Wireless Programming for Hardware Dummies
Software-defined radios (SDR) have a potential to bring major innovation in wireless networking design. However, their impact so far has been limited due to complex programming tools. Ziria addresses this problem. It consists of a…
Microsoft Research Blog
From Grassroots to Government
Simon Peyton Jones’ contributions to computer science continue to be recognized, and now, so is his advocacy for computing education. On June 10, during the 35th annual conference on Programming Language Design and Implementation, hosted…
Publication
Safe, zero-cost coercions for Haskell
Publication