RiSE Videos and Posts | Tags

Channel 9 publishes RiSE videos and information for you to improve your knowledge and skills. This page provides a listing of content tagged with RiSE to see the most up-to-date information provided by the experts building Microsoft products & services

11 minutes, 36 seconds

Microsoft Researchers on 2013 ICFP Competition
Oct 23, 2013 at 2:00PM 0 Larry Larsen

Average: 5

(1)

The ICFP Programming Contest tests the skills of teams from around the world to complete a series of tasks to address an extremely challenging scenarios in program synthesis. The contestants can use any programming language or tool they prefer and the results are tested using MSR's Z3 theorem…
2 minutes, 47 seconds

Peter Heldens - Creating Scripts with TouchDevelop
Peli at RiSE Feb 09, 2012 at 10:19AM 1 Peli de Halleux

Average: 5

(2)

Peter Heldens, a manager at Microsoft University in the Netherlands, recently visited the touchdevelop team in Redmond, WA. Peter wrote My Online Meetings, the popular script that allows users to join a conference call in a single script using touchdevelop. Great to meet you, Peter! Take a look at…
2 minutes, 22 seconds

TouchDevelop - Getting Started
Peli at RiSE Aug 11, 2011 at 9:34AM 6 Peli de Halleux

Average: 5

(1)

In this video, Grant Bronsdon, a High School intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script your phone on your phone! The Research in Software Engineering team (RiSE) coordinates Microsoft's…
11 minutes, 9 seconds

Guido de Caso - Distributed Knowledge Authorization Language
Peli at RiSE Jul 28, 2011 at 9:00AM 17 Peli de Halleux

Average: 5

(1)

In this video, Guido de Caso talks about Distributed Knowledge Authorization Language (DKAL). Guido finished his internship at the Research in Software Engineering group (RiSE) under the mentoring of Yuri Gurevich, a Principal Researcher at Microsoft Research. DKAL home pageDKAL on CodePlex DKAL on…
14 minutes, 15 seconds

ICSE 2011: Conversation with Baris Aktemur
Jul 07, 2011 at 11:45AM 0 Charles

Average: 5

(2)

Barış Aktemur is an Assistant Professor of Computer Science at Özyeğin University. His research interests include runtime program generation, programming language design and semantics, static program analysis and transformation, software engineering and type theory. [source] Here, Wolfram Schulte…
17 minutes, 9 seconds

ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
Jun 28, 2011 at 11:35AM 2 Charles

Average: 3

(2)

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 sequential code. How do…
27 minutes, 18 seconds

ICSE 2011: Dieter Rombach - Software Engineering Process Methodology
Jun 23, 2011 at 10:00AM 1 Charles

Average: 5

(1)

Prof. Dr. Dieter Rombach studied mathematics and computer science at the universities of Karlsruhe and Kaiserslautern. Since 1992, he has held the chair for Software Engineering at the University of Kaiserslautern, and since 1996, he has been Executive Director of the Fraunhofer Institute for…
17 minutes, 49 seconds

ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Jun 22, 2011 at 7:00AM 3 Charles

Average: 5

(5)

Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal…
19 minutes, 15 seconds

ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency Auto-Tuners
Jun 20, 2011 at 2:21PM 0 Charles

Average: 5

(3)

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 (SEPARS)…
36 minutes, 6 seconds

ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
Jun 15, 2011 at 10:19AM 3 Charles

Average: 5

(4)

Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the fields of computer science and…