Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Blog de recherche Microsoft
Z3 wins 2015 ACM SIGPLAN Award
On Monday, June 15, Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award. This prestigious award honors an institution or individuals for “developing a software system that has had a…
Publication
Diagnosing type errors with class
Vidéo
/Guard: Keeping Windows users more secure
/guard is a security mitigation technology that helps to protect programs written in C and C++. Cyber-attacks are becoming increasingly sophisticated, with attackers proactively seeking out vulnerabilities in software to exploit them before the developer…
