Microsoft Research

Ever wonder what would happen if you happened upon Simon Peyton-Jones, author of the Glasgow Haskell Compiler (GHC) and a key contributor to the Haskell functional programming language, and John Hughes, fellow Haskellite, computer scientist, creator of QuickCheck, and author of…

I caught up with Simon Peyton-Jones, author of the Glasgow Haskell Compiler (GHC) and a key contributor to the Haskell functional programming language, at YOW! 2011. Simon is a pure functional guy. That said, he's OK with side effects as long as you can control them (so,…

Dr. Danny Dig is a Principal Investigator at the Universal Parallel Computing Research Center (UPCRC Illinois). UPCRC's stated mission is to make parallel programming synonymous with programming. Dr. Dig leads research on refactorings that retrofit parallelism into existing…

Continuing on with our coverage of ICSE 2011, meet Dr. Victor Pankratius. Dr. Pankratius heads the Multicore Software Engineering investigator group at the Karlsruhe Institute of Technology, Germany. He also serves as the elected chairman of the Software Engineering for parallel Systems…

ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software…

Web applications increasingly integrate third-party services. The integration introduces new security challenges due to the complexity for an application to coordinate its internal states with those of the component services and the web client across the Internet. In this paper, we study the…

Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing constructs…

Jamie Shotton is one of the inventors of Human Skeletal Tracking—he works in Microsoft Research Cambridge and dropped by the states, and our studio, to chat about this great invention. Human skeletal tracking employed in Kinect is a great example of collaboration between MSR and Microsoft…

Microsoft Research has produced two tools to dramatically simplify the construction of unit tests.  We will look at Moles, a framework and Visual Studio add-in that helps to isolate your code from external dependencies.  With Moles you can replace any .Net method with a delegate. …

(PT) Nesta sessão serão dados exemplos das novidades que estão a ser criadas pela Microsoft no sentido de fomentar interacções mais naturais entre as pessoas e os computadores. Conceitos tradicionais de interacção como – rato e WIMP – estão condenados a ficar no passado. O futuro aponta neste…