Programming languages and software engineering
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…
Event
FSE 2016 and Microsoft Research
Microsoft is excited to have been part of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) in Seattle, WA, on November 13-18, 2016.
Event
SC16 and Microsoft Research
Microsoft had several researchers present at The International Conference for High Performance Computing, Networking, Storage, and Analysis (more commonly referred to as SC16) in Salt Lake City, Utah, on November 13-18, 2016. SC16 brought together…