RiSE
71 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
24 minutes, 34 secondsICSE 2011: Conversation with Andreas ZellerJun 08, 2011 at 8:00 AM
8
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 engineering.… -
57 minutes, 35 secondsTechTalk - Research in Software EngineeringJun 06, 2011 at 11:30 PM 3
by Nikolaj Bjorner, Senior Researcher, Microsoft Research The Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software… -
4 minutes, 17 secondsTouchDevelop - State VariablesUpdate: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, learn how to use state variables in TouchDevelop with Michał Moskal from the Research in Software Engineering group (RiSE)… -
4 minutes, 1 secondTouchDevelop - Plotting Math FunctionsUpdate: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Peli de Halleux, from the Research in Software Engineering group (RiSE) at Microsoft Research, gives a tutorial using the TouchDevelop… -
34 minutes, 49 secondsHow to Shop for Free OnlineMay 17, 2011 at 10:01 AM 0
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… -
43 minutes, 31 secondsChris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)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… -
4 minutes, 25 secondsTouchDevelop - Hello WorldUpdate: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Peli de Halleux, from the Research in Software Engineering group (RiSE) at Microsoft Research, gives a basic tutorial using the… -
13 minutes, 42 secondsTouchDevelop - Script Your Phone on Your Phone ReloadedUpdate: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Nikolai Tillmann and Michal Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present… -
1 hour, 2 minutes, 17 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Apr 21, 2011 at 11:48 AM 3
The great Yuri Gurevich is back!! Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures exploring the… -
10 minutes, 50 secondsTouchDevelop - Script Your Phone ON Your Phone!Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Nikolai Tillmann and Michal Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present a new…
