Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Clone Detection via Structural Abstraction
Publication
Learning Diagram Parts with Hidden Random Fields
Publication
Early Appraisals of Electronic Voting
Publication
Compact garbage collection tables
Vidéo
Building with Source: Using Microsoft Visual C++ and Other Tools to Create Custom Games Based on the Half-Life 2 Engine
In this session of the 2005 Microsoft Research Faculty Summit, we discuss a dynamic partnership between Microsoft Visual Studio and a third-party game developer, Valve, to help ameliorate declining enrollment in the computer sciences. This…
Vidéo
Accomplishing Successful Software Engineering Research in Universities
The panel from the 2005 Microsoft Research Faculty Summit provides a forum for discussion on the challenges of conducting research in the area of software engineering. Discussions include successful research techniques within the university environment…
Publication