Peli de Halleux

Peli at RiSE

Total Posts: 27
News about the Research in Software Engineering area (RiSE)
page 1 of 3

SpecExplorer: Model-Based Testing made practicable

Posted By: peli | Oct 26th @ 9:45 PM | Comments: 4
SpecExplorer: Model-Based Testing made practicable
Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models...[more ]
Tags: DevLabs, Languages, Model Based Testing, rise, Testing, Visual Studio 2010

Emre Kiciman and Ben Livshits - Doloto: Download Time Optimizer for Web 2.0 Apps

Posted By: peli | Oct 5th @ 3:33 PM | Comments: 0
Emre Kiciman and Ben Livshits - Doloto: Download Time Optimizer for Web 2.0 Apps
Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is a DevLabs project that analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications...[more ]
Tags: Ajax, DevLabs, rise, Software Engineering Research, Web

Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio

Posted By: peli | Sep 21st @ 3:59 PM | Comments: 8
Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio
Daryl Zuniga gives a fast and furious demo of the new editor extensions for Code Contracts.NET...[more ]
Tags: .net 4.0, .NET Framework 4.0, code contracts, editor, rise, Visual Studio 2010

Trishul Chilimbi - Green - Energy Efficient Software

Posted By: peli | Sep 15th @ 1:17 PM | Comments: 2
Trishul Chilimbi - Green - Energy Efficient Software
Trishul Chilimbi, a researcher from RiSE talks about Green. Green enables programmers to approximate expensive functions and loops while providing statistical quality of service guarantees. By giving away a couple percents of QoS, some applications may decrease their energy consumption by as much as 20%. Watch this video to learn all the details about Green...[more ]
Tags: Compilers, Phoenix Framework, rise, Software Engineering Research

Daryl Zuniga and Mike Barnett - Xml Documentation from Code Contracts for .Net

Posted By: peli | Aug 10th @ 3:55 PM | Comments: 12
Daryl Zuniga and Mike Barnett - Xml Documentation from Code Contracts for .Net
Mike Barnett and Daryl Zuniga, a high school intern at RiSE, sit down to talk about Code Contracts for .NET and documentation. Daryl has been working on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB compiler...[more ]
Tags: .net 4.0, .NET Framework 4.0, code contracts, rise, Software Engineering Research

Ethan Jackson - BAM - Cloud Computing with Models

Posted By: peli | Aug 3rd @ 3:11 PM | Comments: 1
Ethan Jackson - BAM - Cloud Computing with Models
A (very) short video with Ethan Jackson on BAM. BAM is a new approach to developing cloud applications through modeling, code synthesis, and simulation. With BAM you design applications that work in a dynamic environment with fluctuating resources.

[more ]
Tags: Cloud Computing, Cloud Services, rise

Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE

Posted By: peli | Jul 14th @ 11:29 AM | Comments: 4
Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE
Patrice Godefroid gives an overview of Automated Whitebox Fuzz Testing, a powerful testing technique applied at Microsoft through a tool called SAGE. Listen how he is working with the SAGE team to 'eradicate all buffer overrun bugs' in Windows...[more ]
Tags: fuzzing, Microsoft Research, rise, SAGE, Security, Testing

Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites

Posted By: peli | Jun 22nd @ 11:34 AM | Comments: 0
Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites
Ben Livshits and Emre Kiciman talk about the Ajax Profiling Extensions (also known as AjaxView), a tool that allows to profile web sites using Ajax. The tool lets you profile the client side javascript and investigate the performance in Visual Studio...[more ]
Tags: Ajax, Javascript, Power, rise, Visual Studio

Sebastian Burckhardt - Data Race Detection with CHESS

Posted By: peli | Jun 12th @ 11:31 AM | Comments: 10
Sebastian Burckhardt - Data Race Detection with CHESS
Sebastian Burckhardt gives a short tutorial of some of the new features of CHESS: data race detection and ChessBoard. CHESS is a concurrency testing tool takes a concurrent unit test and executes it with different schedules. Sebastian explains us how CHESS can detect data races, a very subtle kind of concurrency bug...[more ]
Tags: CHESS, Concurrency, Microsoft Research, Reliability, rise, Software Engineering Research, Testing

Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration

Posted By: peli | Jun 2nd @ 4:59 PM | Comments: 0
Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration
Margus Veanes and Pavel Grigorenko present a new exciting project: Qex, a tool that can automatically generate data to cover SQL queries. Pavel did an internship in the Research in Software Engineering team (RiSE) investigating automatic data generation methods for parameterized SQL queries. In this video, he shows the result of his 3-month work...[more ]
Tags: Microsoft Research, PEX, qex, rise, Software Engineering Research, SQL
page 1 of 3
Microsoft Communities