Programming languages and software engineering
Microsoft Research Blog
Stack of Microsoft researchers earn distinctions from premier computing society
By John Roach, Writer, Microsoft Research Eight computer scientists at Microsoft research labs around the world have been honored as Fellows of the Association of Computing Machinery, the world’s largest computing society. The organization also…
Publication
Mining Semantic Loop Idioms from Big Code
Event
Engineering the Future
An open evening for engineers and scientists interested in AI If you are a software engineer or research scientist thinking about your next career move, we invite you to find out how you can be…
Video
Boosting Developer Productivity: How Personal Data Will Revolutionize Software Development
Software is eating the world.’ This statement by Marc Andreessen in a Wall Street Journal op-ed highlights the fact that software has become the backbone of countless major businesses, a trend that is expected to…
Project
Angelic Verification
Angelic verification (AV) brings the benefits of static assertion checking to production software without inundating users with false alarms and not burdening them with upfront modeling. In other words, the goal of AV is to…
Publication
Fairness as a Program Property
Event
2nd Int’l Code Hunt Workshop on Educational Software Engineering (CHESE 2016)
Software engineering for education focuses on developing technologies that make programming, testing and analysis more accessible to students. This workshop explored testing through gaming, which is popular with students, and can produce data worthy of…
