Research in Software Engineering (RiSE)
Nouvelles et reportages
Hacking the runway with MakeCode with Dr. Thomas Ball and Dr. Teddy Seyed
Computer programming has often been perceived as the exclusive domain of computer scientists and software engineers. But that’s changing, thanks to the work of people like Dr. Thomas Ball, a Partner Researcher in the RiSE group at Microsoft Research, and…
Rocket-fast embedded TypeScript for MakeCode Arcade
| Michal Moskal
When we began developing Microsoft MakeCode, a computing education platform, it was all about making programming easier, more engaging, and just plain friendlier. After all, if we were going to inspire the next generation of coders, easier entry into the…
HE compilers for Private AI and other game changers with Dr. Olli Saarikivi
Episode 87, August 28, 2019- As computing moves to the cloud, there is an increasing need for privacy in AI. In an ideal world, users would have the ability to compute on encrypted data without sacrificing performance. Enter Dr. Olli…
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 et 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…
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…