Kevin Schofield - Tour of Microsoft Research, Part I (graphic and developer tool research)
- Posted: Feb 04, 2005 at 1:16 PM
- 28,693 Views
- 12 Comments
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
Right click “Save as…”
Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation,
please create a new thread in our Forums,
or
Contact Us and let us know.
Follow the Discussion
Oops, something didn't work.
What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.sign up for email notifications?
That's a pretty sweet place in MS to work at. Scoble forgot to ask:
"What type do you need to be to work at Research? A professor type? An out-of-the-box type? A developer type? What?"
On the subject of specifying concurrent systems at a higher level, I believe there is a big future for statecharts. These allow the specification of systems with realistic complexity (as compared their more more simplistic cousin the finite state machine) and are a lot clearer than procedural descriptions.
On the video front: why have the last few videos been in a wide aspect ratio with black bars at the sides?
I heard that Microsoft is going to open a Lab at Trento, that would be nearby. But I have also read that they do not research in the software sector...
The Trento center is a collaborative effort with MSR Cambridge and the University of Trento to work on computational biology. It's going to be a small effort focused just on that -- nevertheless we're very excited about it.
Great part on the developer tool research. Seemed to be a great professor in his day. Here's his recent research article on Formalizing Counterexample-driven Refinement with Weakest Preconditions.
I understand that the C++ compiler has some sort of flag that makes the compiler take use of MP on marked code. It would be great if you could give the compiler a better sense of what your up to and have it figure the best places to lock and what not ..
Usually I play these Channel 9 videos through at 1.4 times normal speed, using the Media Player 'Play Speed Settings' panel. But it's not letting me do that here.
It's also not letting my skip to points in the video - it only seems to support playing through sequentially at normal speed.
Is this deliberate? Or did you accidently flip some switch on the encoding process too?
C
Remove this comment
Remove this thread
close