RiSE
72 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
11 minutes, 36 secondsMicrosoft Researchers on 2013 ICFP CompetitionOct 23, 2013 at 2:00 PM
0
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 secondsPeter Heldens - Creating Scripts with TouchDevelopPeter 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 secondsTouchDevelop - Getting StartedIn 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 secondsGuido de Caso - Distributed Knowledge Authorization LanguageIn 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 secondsICSE 2011: Conversation with Baris AktemurJul 07, 2011 at 11:45 AM 0
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 secondsICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential WorldJun 28, 2011 at 11:35 AM 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 secondsICSE 2011: Dieter Rombach - Software Engineering Process MethodologyJun 23, 2011 at 10:00 AM 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 secondsICSE 2011: Grigore Rosu - The Art and Science of Program VerificationJun 22, 2011 at 7:00 AM 3
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 secondsICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency Auto-TunersJun 20, 2011 at 2:21 PM 0
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 secondsICSE 2011: John Rushby - Formal Methods, Verification and Some Computing HistoryJun 15, 2011 at 10:19 AM 3
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…
