{"id":5581,"date":"2016-03-03T09:00:51","date_gmt":"2016-03-03T17:00:51","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/msr_er\/?p=5581"},"modified":"2016-07-20T07:28:38","modified_gmt":"2016-07-20T14:28:38","slug":"opening-the-world-of-advanced-software-technology","status":"publish","type":"post","link":"https:\/\/www.microsoft.com\/en-us\/research\/blog\/opening-the-world-of-advanced-software-technology\/","title":{"rendered":"Opening the world of advanced software technology"},"content":{"rendered":"

\"Open<\/p>\n

By<\/em> Judith Bishop<\/em><\/a>, Director of Computer Science, Microsoft Research<\/em><\/p>\n

In the world of information technology, the word \u201copen\u201d can mean many different things. For me, it refers to how software is both written and used, throughout its lifetime. At Microsoft Research, I am fortunate to work alongside a group of 40 researchers, who have released\u00a0more than\u00a050 open source tools for use by developers, academics, and students. The tools span a wide range of application areas from cryptography to artificial intelligence, programming models to education. They are all categorized and showcased on our Open Source for Academics<\/a> portal.<\/p>\n

Microsoft is committed to open source technology and innovations. We strive for new contributions every day, and this leads to invaluable benefits for both the company and the technology community. Together, we\u2019ve helped drive reduced time to market, improved products through community collaboration, increased interoperability and innovation in a thriving technology ecosystem. Additionally, and most importantly, we\u2019ve made cutting-edge tools accessible to the new generation of computer scientists, who can use and improve them in the years to come.<\/p>\n

To help show the breadth and depth of our open source tools, let\u2019s look at three of them from across the spectrum.<\/p>\n

Computation Network Toolkit<\/strong><\/h4>\n

To fuel the exciting world of Artificial Intelligence, we\u2019ve released The Computation Network Toolkit (opens in new tab)<\/span><\/a> (CNTK) on GitHub (opens in new tab)<\/span><\/a>. This toolkit offers production-quality, multi-machine, multi-GPU, and highly efficient recurrent neural network (RNN) training for speech, image, and text. In internal tests, Xuedong Huang (opens in new tab)<\/span><\/a>, Microsoft\u2019s chief speech scientist, said CNTK has proved more efficient (opens in new tab)<\/span><\/a>\u00a0than four other popular computational toolkits currently used by developers. These performance gains are vital in the fast-moving field of deep learning. Typically, large deep learning tasks can take weeks, but with new improvements and better technologies, researchers can innovate faster and more efficiently. The figure below shows average speed comparisons with other similar toolkits.<\/p>\n

\"speed_comparison\"<\/a><\/p>\n

Ironclad Apps<\/strong><\/h4>\n

With data security being top-of-mind for everyone, our Systems team built and released Ironclad<\/a> for building apps that securely transmit data between machines with the guarantee that every instruction executed adheres to a formal abstract specification of the app’s behavior. The software to achieve this level of security includes a verified kernel; verified drivers; verified system and crypto libraries. Reading through the publication<\/a> announcing IronClad, I am struck by how fundamental theory and mathematics is to ensuring that security really works in practice. The specifications, code, proofs, and tools for Ironclad Apps<\/a>\u00a0(verifying the security on a complete software stack)\u00a0and IronFleet<\/a>\u00a0(verifying\u00a0the safety and liveness of\u00a0distributed systems) are now available on GitHub (opens in new tab)<\/span><\/a>.\u00a0Ironclad builds on several of our other open source tools such as Dafny<\/a> which, in turn, relies on the award-winning<\/a> Z3 SMT solver (opens in new tab)<\/span><\/a>.\u00a0 Ironclad also employs SymDiff to verify relational properties.<\/p>\n

The F# Foundation<\/strong><\/h4>\n

While many of our projects have only recently been released as open source, some have been in the open source world for 10+ years. Many of these long-standing projects have matured, moving out of our labs and into the hands of foundations and associations that can take them to new heights.<\/p>\n

F# (opens in new tab)<\/span><\/a> is a mature, cross-platform, functional-first programming language; the embodiment of open source.<\/p>\n

\u201cSince 2014, the F# compiler and Visual F# tools have had over 40 contributors from 12 or more countries. Major features of F# have been implemented by the community, including full cross- platform support on Linux, Android, iOS and Mac,\u201d said Don Syme, Principal Researcher.<\/em><\/p><\/blockquote>\n

\"MicrosoftThe Open Source Challenge<\/strong><\/h4>\n

With all these wonderful tools available, it\u2019s important to get them into the hands of students. One of the ways we are\u00a0achieving this is through the Microsoft Open Source Challenge<\/a>. We are looking for innovative uses of our research open source software. There is $15,000 in prizes to be won, and the possibility to interview for an internship at Microsoft Research. So it\u2019s a great time to get involved. But don\u2019t delay, the deadline to register is April 11, 2016.<\/p>\n

\u00a0<\/strong><\/p>\n

Learn more<\/strong><\/p>\n