Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
UIST 2016 and Microsoft Research
The ACM Symposium on User Interface Software and Technology (UIST 2016) was held in Tokyo, Japan, on October 16-19. Microsoft was a Gold sponsor and proud to have several researchers in attendance.
ICSME 2016 and Microsoft Research
We are excited to have been a part of the International Conference on Software Maintenance and Evolution (ICSME) in Raleigh, North Carolina, October 5-7, 2016, at the Raleigh Marriott City Center. Microsoft was a Bronze…
A Webbased Frontend for Easy Interaction with the Inductive Programming System Igor – Inference of Constructor Terms from Examples and Interactive Testing of Generated Programs
A developer’s work can get quite repetitive. This tedious part of his or her job decreases work time efficiency by a considerable amount. Inductive programming systems can provide a solution to this issue. These tools…
