Peli de Halleux

Peli at RiSE

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

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

Posted By: Peli de Halleux | Jun 22nd @ 11:34 AM | 37,622 Views | 0 Comments
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 de Halleux | Jun 12th @ 11:31 AM | 25,049 Views | 4 Comments
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 de Halleux | Jun 2nd @ 4:59 PM | 34,266 Views | 0 Comments
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

Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex

Posted By: Peli de Halleux | Apr 23rd @ 11:59 AM | 29,385 Views | 9 Comments
Manuel Fähndrich and Peli de Halleux (me) sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks, Pex analyses those checks and tries to find counter-examples. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.[more ]
Tags: code contracts, Microsoft Research, PEX, research, rise, Test Driven Development

Herman Venter - The Common Compiler Infrastruture goes Open Source

Posted By: Peli de Halleux | Apr 15th @ 3:49 PM | 48,842 Views | 11 Comments
Herman Venter announces the Common Compiler Infrastructure (CCI) as an open source project on codeplex! CCI is a set of tools and components that are useful to build compilers: readers and writers for MSIL and symbol files, and more. You’ve may have heard and probably used different incarnations of CCI in the past: the FxCop introspection engine, ILMerge, Spec# or Code Contracts are using CCI in many ways. Now, you can use it too:  just sync the sources, build it, tweak it, etc… It’s all there on codeplex...[more ]
Tags: CCI, Microsoft Research, rise

Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle

Posted By: Peli de Halleux | Mar 25th @ 10:11 AM | 21,679 Views | 0 Comments
Ben Livshits and Ben Zorn talk about Nozzle, a new tool to detect heap spraying attacks. Heap spraying is a new security attack that significantly increases the exploitability of existing memory corruption errors in type unsafe applications.

[more ]
Tags: IE8, rise, Security

Mike Barnett - Getting started with Code Contracts in Visual Studio 2008

Posted By: Peli de Halleux | Feb 23rd @ 2:40 PM | 34,849 Views | 11 Comments
Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site and will be part of the .Net framework 4.0!!!

[more ]
Tags: code contracts, DevLabs, rise, Software Engineering Research, SpecSharp, verification, Visual Studio

Ben Zorn - Memory robustness with RobustHeap

Posted By: Peli de Halleux | Feb 8th @ 9:46 PM | 40,413 Views | 2 Comments
Ben Zorn gives an introduction to the problems of memory corruption. In particular, he talks about his work on new memory allocators that provide fault tolerance and detection of errors such as dangling pointers.[more ]
Tags: rise, RobustHeap, Software Engineering Research

Michal Moskal - VCC, The Verifying C Compiler

Posted By: Peli de Halleux | Jan 30th @ 2:25 AM | 48,505 Views | 0 Comments
Michal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type invariants.[more ]
Tags: C, Compilers, HyperV, research, rise, Software Engineering Research, Testing, vcc, verification

Ethan Jackson - Specifying Cloud Applications

Posted By: Peli de Halleux | Jan 19th @ 12:03 PM | 48,967 Views | 2 Comments
Today we talk with Ethan Jackson about Cloud applications. Cloud applications are web-based distributed systems deployed over a fluctuating set of computing nodes and services. The design of cloud applications is particularly challenging. Ethan describes a new approach to architecting cloud applications...[more ]
Tags: Cloud Architecture, Cloud Computing, Cloud Services, rise, Software Engineering Research
page 1 of 2
Microsoft Communities