Entries tagged with rise - Channel 9

SpecExplorer: Model-Based Testing made practicable

Peli de Halleux — Tue, 27 Oct 2009 04:45:00 GMT

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. Spec Explorer’s approach to model-based testing has been shown to greatly enhance productivity of test case creation, to ensure predictability of requirement coverage, and to support lifecycle management and software updates. Models are typically written in C# and controlled by a configuration language which allows to express scenarios and test purposes. Microsoft itself chose Spec Explorer as a cornerstone of the effort to validate open protocol documentation, developing more than 200 test suites validating over 40,000 requirements for networking protocols in a production environment.

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

Peli de Halleux — Mon, 05 Oct 2009 22:33:00 GMT

Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of code, such as Bing Maps, Hotmail, etc. Doloto analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio

Peli de Halleux — Mon, 21 Sep 2009 22:59:00 GMT

Daryl Zuniga gives a fast and furious demo of the new editor extensions for Code Contracts.NET. When a developer overrides a method with Contracts, the rewritter would automatically insert the pre-conditions and post-conditions in the method body. Unfortunately, the editor is not aware of that - leaving the developer confused... Not anymore, Daryl's extension mines the Contracts on the fly and hosts them in the shiny new WPF editor of Visual Studio 2010.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Trishul Chilimbi - Green - Energy Efficient Software

Peli de Halleux — Tue, 15 Sep 2009 20:17:00 GMT

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...

Green Technical Report
Green story on Microsoft Research

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

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

Peli de Halleux — Mon, 10 Aug 2009 22:55:00 GMT

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 this summer on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB compiler. Daryl also updated the Sandcastle stylesheets so that the contracts appear in the documentation pages.

Code Contracts for .NET home page - forums
See more Channel 9 videos on Code Contracts

Update: the xml comment generation is now available for download!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Ethan Jackson - BAM - Cloud Computing with Models

Peli de Halleux — Mon, 03 Aug 2009 22:11:00 GMT

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. You can also check out a previous Channel9 video for more details about how things work.

BAM home page: http://research.microsoft.com/en-us/um/people/ejackson/bam.aspx

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE

Peli de Halleux — Tue, 14 Jul 2009 18:29:00 GMT

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...

Read more in this paper or this slide deck.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Architecture Behind CAT.NET

Jossie Tirado — Mon, 29 Jun 2009 22:24:00 GMT

Ben Livshits, from Microsoft Research, talks about the architecture behind CAT.NET, which is a static analysis tool on Visual Studio that helps find vulnerabilities like SQL Injection, CSRF, XSS among others, within managed code.

Ben’s knowledge on static and dynamic dataflow analysis made him a key contributor on the creation of CAT.NET. He walks us through different examples of how the data analysis happens depending on complexity and explains how precision varies.

Learn more about Microsoft Information Security Tools.

www.msinfosec.com

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

Peli de Halleux — Mon, 22 Jun 2009 18:34:00 GMT

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 investigate the performance of the client side javascript! Ben and Emre explain how the profiling works, i.e. how they instrument the javascript on the fly, collect execution traces, and so forth. They also show a really cool demo of the tool where they turn on profiling for a couple web pages, then analyze the performance directly in Visual Studio.

Ajax Profiling Extensions @msdn: http://code.msdn.microsoft.com/AjaxView
AjaxView @MSR: http://research.microsoft.com/en-us/projects/ajaxview/

(We have a new jingle for the RiSE videos thanks the musical talent of Tom Ball. The full track of "San Juan Strut" can be found at www.themiddlethird.org)

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Sebastian Burckhardt - Data Race Detection with CHESS

Peli de Halleux — Fri, 12 Jun 2009 18:31:00 GMT

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 thread schedules. Sebastian explains us how CHESS can detect data races, a very subtle kind of concurrency bug. You'll also learn how to drill into concurrency issues using the ChessBoard, a little application designed to drill and investigate concurrent tests.

CHESS home page: http://research.microsoft.com/en-us/projects/chess/
CHESS forums: http://social.msdn.microsoft.com/Forums/en-us/chess/threads/

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

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

Peli de Halleux — Tue, 02 Jun 2009 23:59:00 GMT

Margus Veanes and Pavel Grigorenko present a new exciting project: Qex. 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. Qex translates SQL queries to logic formulas and give to our in-house constraint solver, Z3. When Z3 finds a solution, Qex translates that solution back to SQL code that can be executed in the database. This is similar to how Pex works.

Find more about Qex at http://research.microsoft.com/qex or read the technical report.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

RiSE at the International Conference on Software Engineering

Wolfram Schulte — Thu, 14 May 2009 19:07:00 GMT

Many researchers from the Research in Software Engineering team (RiSE) will be attending the 31st International Conference on Software Engineering in Vancouver (ICSE'09). Here is what RiSE is presenting this year:

Does Distributed Development Affect Software Quality? An Empirical Case Study of Windows Vista (ICSE: Research paper). Christian Bird, Nachiappan Nagappan, Premkumar Devanbu, Harald Gall, Brendan Murphy Winner of ACM SIGSOFT Distinguished Papers Award. By studying the development of Windows Vista we evaluate whether distributed software development is more challenging than collocated development.
Do Crosscutting Concerns Cause Defects? (ICSE: TSE/TOSEM Session), Marc Eaddy, Thomas Zimmermann, Kaitlin D. Sherwood, Vibhav Garg, Gail C. Murphy, Nachiappan Nagappan, Alfred V. Aho. TSE/TOSEM Session. We asked the question, “How much does the amount that a concern is crosscutting affect the number of defects in a program?” and conducted three extensive case studies to help answer this question. All three studies revealed a moderate to strong statistically significant correlation between the degree of scattering and the number of defects.
Predicting Defects in SAP Java Code: An Experience Report (ICSE: Software Engineering in Practice papers), Thomas Zimmermann, Tilman Holschuh, Markus Päuser, Kim Herzig, Rahul Premraj, Andreas Zeller. In a study on a large SAP Java system, we evaluated and compared a number of defect predictors, based on code features such as complexity metrics, static error detectors, change frequency, or component imports.
HOLMES: Effective Statistical Debugging via Efficient Path Profiling (ICSE: Research papers), Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani. We describe a statistical debugging tool called HOLMES that efficiently isolates bugs by finding paths that correlate with failure.
The Secret Life of Bugs: Going Past the Errors and Omissions in Software Repositories (ICSE: Research Paper), Jorge Aranda, Gina Venolia. Every bug has a story behind it. This paper uses rich bug histories and survey results to identify common bug fixing coordination patterns and to provide implications for tool designers and researchers of coordination in software development
Guided Path Exploration for Regression Test Generation (ICSE: NIER Track).Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Given two versions of the same software, the approach described in this paper can automatically generate a test suite that exercises only those program behaviors which are different. A prototype has been implemented as an extension to Pex.
Improving Bug Tracking Systems (ICSE: NIER Track), Thomas Zimmermann, Rahul Premraj, Jonathan Sillito, Silvia Breu. We present a prototype of an interactive bug tracking system that gathers relevant information from users and automatically identifies files that need to be fixed to resolve a bug.
Codebook: Social Networking over Code (ICSE: NIER Track). Andrew Begel and Robert DeLine. Codebook is a social networking service that connects software developers through the work artifacts that they share -- code, bugs, tests, specifications, etc -- to enable them to keep track of task dependencies, maintain connections to other teams, and understand the history and rationale behind the code they use.
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract (ICSE: Demos). M. Barnett, M. Fahndrich, P. de Halleux, F. Logozzo, N. Tillman. Pex, a unit-test generator, and Code Contracts, a design-by-contract system, provide even more benefits when used together for developing high-quality robust programs.
VCC: Contract-based Modular Verification of Concurrent C (ICSE: Demos). Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, and Wolfram Schulte. Annotated C and the Verified C Compiler (VCC) form the first modular sound verification methodology for concurrent C that scales to real-world production code. VCC is currently used to verify the core of Microsoft Hyper-V, consisting of 50,000 lines of system-level C code.
Deconstructing Concurrency Heisenbugs (ICSE Demo). Thomas Ball, Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer. CHESS is a tool for finding and reproducing "Heisenbugs", which result from unexpected interference among threads. CHESS has been integrated into the test frameworks of many code bases inside Microsoft and is used by testers on a daily basis.
An Empirical Study of Testing File-System-Dependent Software With Mock Objects (AST Workshop)
Madhuri Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux and Wolfram Schulte. A case study on how to use parameterized mock objects in unit testing in combination with the test input generation tool Pex.
A Brief History of Software - from Bell Labs to Microsoft Research (MSR workshop, keynote)

Tom will report on the power of combining statistical expertise with software engineering expertise to address pressing problems of software production in a statistically valid manner. He will trace the history from early work at AT&T to present work at Microsoft.
Making CHASE Mainstream (CHASE Workshop keynote), Rob DeLine. Rob will discuss why “people issues” have not gotten enough attention among software engineering researchers and suggests ways to make research in this area more mainstream.
Coordination in Large-Scale Software Teams (CHASE Workshop). Andrew Begel, Nachiappan Nagappan, Christopher Poile, and Lucas Layman. A survey of Microsoft engineers shows that coordination between large-scale software teams is very challenging, but can be eased with better communication and tools tailored towards each engineer’s role in the collaboration.

The Design of a Task Parallel Library (Working Group Software Engineering for parallel Systems, keynote), Wolfram Schulte. Wolfram discusses the design and implementation of the TPL, which makes it easy to exploit potential parallelism in a .NET program.
Parameterized Unit Testing (Tutorial): Principles, Techniques, and Applications in Practice.
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Wolfram Schulte. A hands-on introduction to parameterized unit testing: how it relates to unit testing, how to leverage automated tools, what good test patterns are, and how it can be used in practice.

Cheers, Wolfram Schulte.

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

Peli de Halleux — Thu, 23 Apr 2009 18:59:00 GMT

Manuel Fähndrich and Peli de Halleux 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 which Pex can analyse and try to find counter-examples for. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.

Both tools can be downloaded from Devlabs or our academic project pages.

Code Contracts: http://research.microsoft.com/contracts
Pex: http://research.microsoft.com/pex

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Herman Venter - The Common Compiler Infrastruture goes Open Source

Peli de Halleux — Wed, 15 Apr 2009 22:49:00 GMT

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 at

http://ccimetadata.codeplex.com

Enjoy!
ps: Sorry for the low quality of the sound, my new microphone is on it's way...

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

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

Peli de Halleux — Wed, 25 Mar 2009 17:11:00 GMT

Ben Livshits and Ben Zorn talk about Nozzle, a new tool to detect heap spraying attacks, a new security attack that significantly increases the exploitability of existing memory corruption errors in type unsafe applications.

Ben^2 give us a quick course on the basics of heap spraying attacks and a demo of Nozzle in action. Nozzle is a runtime monitoring tool that watches the 'health' of your browser and detects attempts of heap spraying attacks.

Nozzle: http://research.microsoft.com/nozzle
Nozzle Tech Report: http://research.microsoft.com/pubs/76528/tr-2008-176.pdf

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

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

Peli de Halleux — Mon, 23 Feb 2009 22:40:00 GMT

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 contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.

The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!!

Contracts @ DevLabs: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
Contracts @ Microsoft Research: http://research.microsoft.com/contracts
Contracts forums: http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Ben Zorn - Memory robustness with RobustHeap

Peli de Halleux — Mon, 09 Feb 2009 05:46:00 GMT

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. Very cool whiteboard session, enjoy.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Michal Moskal - VCC, The Verifying C Compiler

Peli de Halleux — Fri, 30 Jan 2009 10:25:00 GMT

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. The current primary goal of the VCC project is to to verify Microsoft Hyper-V. Hyper-V is a hypervisor -- a thin layer of software that sits just above the hardware and beneath one or more operating systems. The Hypervisor verification project is a cooperation between European Microsoft Innovation Center in Aachen, Germany the RiSE group at Microsoft Research in Redmond and the Saarland University in Saarbrücken, Germany.

VCC slide deck, get the high-level picture and more details,
VCC home page, all you want to know.
Unfortunately, there is currently no download available of VCC.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Ethan Jackson - Specifying Cloud Applications

Peli de Halleux — Mon, 19 Jan 2009 20:03:00 GMT

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 because few assumptions can be made about the connectivity of nodes, the availability of services, and the long-term evolution of the computing fabric. Ethan describes a new approach to architecting cloud applications. His approach gives developers a powerful set of abstractions that they can use to engineer systems beyond a client-server architecture, while understanding the behavior of their applications in a cloud environment. This is part 1, where we introduce the basic concepts on the whiteboard.

BAM project home page

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Getting started with Pex in Visual Studio 2008

Peli de Halleux — Wed, 14 Jan 2009 19:38:00 GMT

Nikolai Tillmann and Peli de Halleux give a short tutorial on Pex, an automated white box testing tool for .Net. The tutorial is a pair-programming session where they show us how to get started with Pex in Visual Studio, starting from an (untested) piece of C# code:

how to use Pex to explore the behavior of any method in your code,
how to save the exploration results into a unit test suite,
how to improve the generated parameterized unit tests to leverage Pex code exploration engine.

If you want to follow up the steps on your machine as well,

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Madan Musuvathi - Getting started with CHESS in Visual Studio 2008

Peli de Halleux — Wed, 14 Jan 2009 18:40:00 GMT

Today we are sitting with Madan Musuvathi for a quick tutorial on writing concurrency unit tests, powered by CHESS in Visual Studio 2008. Madan goes through a simple bank account example that contains a subtle concurrency bug. He shows how to turn a unit test into a concurrent unit test in a snap, find concurrency issues and debug them using CHESS.

CHESS is an automated concurrency testing tool for .NET and Win32 that finds and reproduces heisenbugs.

Ask questions in the forum

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

EMIC - Software Verification

Lori — Wed, 17 Dec 2008 16:57:00 GMT

Today – more than ever – complex software architectures, configurations and the implications of parallel software running on multi-core hardware call for a new methodology to make sure that software is of high-quality and does what it is was designed for. By using a formal approach and going beyond regular software testing the verification team at the European Microsoft Innovation Center (EMIC), Aachen, Germany are enhancing software verification methods and tools and applying them to analyze 50,000 lines of code in a real life scenario of a market-ready product. This approach is what makes the project unique.

Thomas Santen and Stephan Tobies from EMIC explain what formal software verification is about and how it can help to build reliable systems. The technology they explain is being developed jointly at EMIC and Microsoft’s Research in Software Engineering group (RiSE) in Redmond. Their tool VCC verifies concurrent, low-level C code that is annotated by contracts specifying its intended behavior.

Thomas and Stephan work in the hypervisor verification project Verisoft, which is a collaboration of EMIC, RiSE, along with Wolfgang Paul, professor for computer architecture at the Saarland University in Saarbrücken, Germany. The aim of this project is to verify the hypervisor kernel of Microsoft Hyper-V, Microsoft’s virtualization product. The hypervisor kernel is a small multi-processor operating system micro kernel with memory and thread management but without device drivers. The implementation of this kernel consists of roughly 60 thousand lines of highly optimized C and x64 assembler code.

For further information, please contact Thomas Santen (Thomas.Santen-at-microsoft.com) or Stephan Tobies (Stephan.Tobies-at-microsoft.com).

CHESS: An Automated Concurrency Testing Tool

Charles — Wed, 10 Dec 2008 21:46:00 GMT

CHESS is an automated tool from Microsoft Research for finding errors in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, hangs, and data-corruption induced access violations, that are extremely hard to find with current testing tools. Once CHESS locates an error, it provides a fully repeatable execution of the program leading to the error, thus greatly aiding the debugging process. In addition, CHESS provides a valuable and novel notion of test coverage suitable for multithreaded programs. CHESS can use existing concurrent test cases and is therefore easy to deploy. Both developers and testers should find CHESS useful. The CHESS architecture is described in this technical report.

Here, we meet some of the researchers behind CHESS, Madan Musuvathi and Shaz Qadeer. Joining in the conversation are two software test engineers extraordinare, Chris Dern and Rahul Patil. Chris and Rahul use CHESS as part of their daily routine of finding bugs in the various technologies that power Microsoft's Parallel Computing Platform. Tune in and learn about this great technology from the folks who know it best.

Nachi Nagappan - Experimental study about Test Driven Development

Peli de Halleux — Tue, 09 Dec 2008 19:59:00 GMT

This week, we dropped by Nachi Nagappan in the Empirical Software Engineering area. Nachi does studies on what works and does not work in software development using metrics.

We talk with him about Test Driven Development: Does it work better? How better? What's the catch?
To answer these questions, Nachi talks about a study done over multiple teams within and outside of Microsoft on TDD. The results are very interesting, as they are based on real teams with real products, so I definitely encourage you to watch the video or download the paper to grok the numbers in details.

Download the high-quality screencast from Downloads -> Screencast.
Download the full article on the TDD study at http://research.microsoft.com/ESM/ (Paper title: Realizing quality improvement through test driven development: results and experiences of four industrial teams).

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

RiSE at the Principles of Programming Languages' 09

Peli de Halleux — Sat, 06 Dec 2008 00:10:00 GMT

Several RiSE researchers will present their latest joint work at the upcoming Principles of Programming Languages (POPL'09) conference (non RiSE authors are marked with *):

Tayfun Elmas*, Shaz Qadeer, and Serdar Tasiran will present: A Calculus of Atomic Actions.
Daan Leijen will present Flexible types: Robust type inference for first-class polymorphism [pdf].
Sumit Gulwani, Krishna Mehra* and Trishul Chilimbi will present SPEED: Precise and Efficient Static Estimation of Program Computational Complexity.
Sumit Gulwani, Tal Lev-Ami* and Mooly Sagiv* will present: A Combination Framework for Tracking Partition Sizes.
Jeremy Condit *, Brian Hackett*, Shuvendu Lahiri, and Shaz Qadeer will present: Unifying Type Checking and Property Checking for Low-Level Code.

Enjoy your reading!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.