Research in Software Engineering (RiSE)
News & features
Researchers work to secure Azure Blockchain smart contracts with formal verification
In its young existence, the tamperproof and distributed ledger technology blockchain has already generated a lot of buzz and is being seen as disruptive, influencing approaches in such diverse areas as financial services, supply chains, and governance. To say its…
Fashion forward: Researchers, designers debut new tech on New York City runway
In his work in visual merchandising, designer Kenroy Tyrell has used LED lights in displays for trade shows and showrooms. But on this particular day, he found himself using the technology in a way he never anticipated—as part of a…
EverCrypt cryptographic provider offers developers greater security assurances
| Jonathan Protzenko and Bryan Parno
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the high-performance industrial-grade EverCrypt cryptographic provider, is the second in a…
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the Everest team is using and…
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 – Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working…
Awards | Meta Research Emerging Scholar Award
Meta Research Emerging Scholar Award
Programming Languages
Summer of MakeCode for kids
| Jacqueline Russell
Microsoft MakeCode is a web-based learning environment for kids and teens to create with technology. MakeCode takes a unique approach to computing education by combining the magic of making with the power of code as a way to make learning…
Four Big Bets For Better AI Research: A Personal Journey
| Sumit Gulwani
It’s a big shift to change from being motivated by getting published in prestigious conferences and journals, to being motivated by solving real problems for real people. Halfway through my 18-year research career working on program synthesis–the task of automatically…
Code in the Classroom with Dr. Peli de Halleux
Episode 12, February 15th, 2018 – If you’ve ever wondered if you could find the perfect combination of computer scientist… and Macgyver, look no further than Dr. Peli de Halleux, principal Research Software Design Engineer at Microsoft Research. A key…