Nikolai Tillmann and Peli de Halleux: Inside Code Digger

Update: 2013-05-07

Description

Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers.

So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?

Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.

Comments

In Channel

How WSL accesses Linux files from Windows

2019-05-3024:59

Bart De Smet: Rx and Cortana

2014-09-1056:34

Inside .NET Native

2014-04-0239:34

Nikolai Tillmann and Peli de Halleux: Inside Code Digger

2013-05-0732:44

Immo Landwerth and Andrew Arnott: Inside Immutable Collections

2013-03-1954:18

Programming the Cloud with Actors: Inside ActorFx

2013-02-2044:51

C++ and Beyond 2012: Herb Sutter - atomic<> Weapons, 2 of 2

2013-02-1101:32:33

C++ and Beyond 2012: Herb Sutter - atomic<> Weapons, 1 of 2

2013-02-1101:21:12

Inside Windows 8: Chris Stevens - Boot Environment

2013-01-1441:14

Inside Windows 8: Jon Berry - Desktop Activity Moderator and Connected Standby

2013-01-0745:50

C++ and Beyond 2012: Herb Sutter - C++ Concurrency

2013-01-0401:15:38

YOW! 2012: Marko Rodriguez - Graph Systems and Databases

2012-12-2043:32

Inside Windows 8: Greg Colombo - Heap Manager

2012-12-1841:28

C++ and Beyond 2012: Andrei Alexandrescu - Systematic Error Handling in C++

2012-12-1001:26:38

Inside Windows 8: Pedro Teixeira - Thread pools

2012-12-0701:05:44

Inside Windows 8: Arun Kishan - Windows App Model

2012-11-2101:07:43

Mani Ramaswamy and Peter Sollich: Inside Compiler in the Cloud and MDIL

2012-11-0651:02

Lars Bak and Steve Lucco: Chakra, V8, JavaScript, Open Source

2012-10-1642:52

Anders Hejlsberg and Lars Bak: TypeScript, JavaScript, and Dart

2012-10-1143:13

C++ and Beyond 2012: Scott Meyers - Universal References in C++11

2012-10-0901:23:43

00:00

Nikolai Tillmann and Peli de Halleux: Inside Code Digger

#box-pro-ellipsis-176277491416161{-webkit-line-clamp:2;}Nikolai Tillmann and Peli de Halleux: Inside Code Digger

Nikolai Tillmann and Peli de Halleux: Inside Code Digger

Charles

Nikolai Tillmann and Peli de Halleux: Inside Code Digger