Channel 9 - Entries tagged with Expert to Expert Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Expert to Expert http://channel9.msdn.com/Tags/expert+to+expert Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/expert+to+expert en Fri, 24 May 2013 10:22:02 GMT Fri, 24 May 2013 10:22:02 GMT Rev9 54 3 25 Erik Meijer, Immo Landwerth, and Andrew Arnott: Immutable Collections for .NET Erik Meijer interviews .NET team PM Immo Landwerth and Software Developer Andrew Arnott. The topic is Immutable Collections, a new set of immutable types for .NET. You can play around with these today as part of a preview release (NuGet link below). Tune in!

Niners asked questions in advance and some of them were addressed. Thanks again for asking and sorry we didn't get to all of them, but many of the topics were covered (what, why, how, etc...).

Over the last years .NET added many features to make writing multithreaded applications easier. This includes the Task Parallel Library (TPL) as well as the new async/await keywords features to reduce the friction when writing asynchronous code. However, it's still challenging to keep mutable state under control when multiple threads are involved. A common approach is to make use of immutable state that can be passed freely between different threads.
- Immo Landwerth

The NuGet package preview includes these types:

  • ImmutableStack<T>
  • ImmutableQueue<T>
  • ImmutableList<T>
  • ImmutableHashSet<T>
  • ImmutableSortedSet<T>
  • ImmutableDictionary<K, V>
  • ImmutableSortedDictionary<K, V>

Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements.

See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...).

]]> http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Erik Meijer interviews .NET team PM Immo Landwerth and Software Developer&nbsp;Andrew Arnott. The topic is Immutable Collections, a new set of immutable types for .NET. You can play around with these today as part of a preview release (NuGet link below). Tune in! Niners asked questions in advance and some of them were addressed. Thanks again for asking and sorry we didn't get to all of them, but many of the topics were covered (what, why, how, etc...). Over the last years .NET added many features to make writing multithreaded applications easier. This includes the Task Parallel Library (TPL) as well as the new async/await keywords features to reduce the friction when writing asynchronous code. However, it's still challenging to keep mutable state under control when multiple threads are involved. A common approach is to make use of immutable state that can be passed freely between different threads. - Immo Landwerth The NuGet package preview includes these types: ImmutableStack&lt;T&gt; ImmutableQueue&lt;T&gt; ImmutableList&lt;T&gt; ImmutableHashSet&lt;T&gt; ImmutableSortedSet&lt;T&gt; ImmutableDictionary&lt;K, V&gt; ImmutableSortedDictionary&lt;K, V&gt; Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements. See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...). 3013 http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Wed, 16 Jan 2013 16:56:16 GMT http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Charles Charles 16 http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET/rss .NET Computer Science Erik Meijer Expert to Expert Programming YOW! 2012: Brian Beckman and Michael Ficarra - CoffeeScript Brian Beckman interviews JavaScript/CoffeeScript developer who's written an excellent CoffeeScript compiler, Michael Ficarra. If you're curious about CoffeeScript, then this is for you ( no demos or code, though; just technical conversation done the Beckman way Smiley ) Tune in!

Cast:

Brian Beckman, Physicist, Microsoft Veteran, Mathematica Hacker, LINQ, Xbox, Rx Developer, wrote foundational software for new starts in Bing Mobile Mapping and Technology platform. Created pure-functional language and runtime using combined numeric and symbolic processing for business intelligence and visualization. Co-Found Tesla and Volta efforts with Erik Meijer via LINQ and the Reactive Framework.  Approximately 85 patent filings and 25 issued patents. Consultant for Tire Physics on XBox racing game "Forza". * Designed and coded all physics for secret video-game project based on my "Physics of Racing" papers.

 

Michael Ficarra, a CoffeeScript/ECMAScript Enthusiast Developer at Groupon, can be described as having a passion for defining transformations of all sorts, so he is naturally very comfortable around compilers and functional programming languages. He is best known for his significant contributions to the CoffeeScript programming language, its original compiler, and his KickStarter-funded rewrite. As one of Github's most active users, he is an influential member of the online OSS and ECMAScript communities.

]]> http://channel9.msdn.com/posts/YOW-2012-Brian-Beckman-and-Michael-Ficarra-CoffeeScript Brian Beckman interviews JavaScript/CoffeeScript developer who's written an excellent CoffeeScript compiler, Michael Ficarra. If you're curious about CoffeeScript, then this is for you ( no demos or code, though; just technical&nbsp;conversation done the Beckman way ) Tune in! Cast: Brian Beckman, Physicist, Microsoft Veteran, Mathematica Hacker, LINQ, Xbox, Rx Developer, wrote foundational software for new starts in Bing Mobile Mapping and Technology platform. Created pure-functional language and runtime using combined numeric and symbolic processing for business intelligence and visualization. Co-Found Tesla and Volta efforts with Erik Meijer via LINQ and the Reactive Framework.&nbsp; Approximately 85 patent filings and 25 issued patents. Consultant for Tire Physics on XBox racing game &quot;Forza&quot;. * Designed and coded all physics for secret video-game project based on my &quot;Physics of Racing&quot; papers. &nbsp; Michael Ficarra, a CoffeeScript/ECMAScript Enthusiast Developer at Groupon, can be described as having a passion for defining transformations of all sorts, so he is naturally very comfortable around compilers and functional programming languages. He is best known for his significant contributions to the CoffeeScript programming language, its original compiler, and his KickStarter-funded rewrite. As one of Github's most active users, he is an influential member of the online OSS and ECMAScript communities. 1376 http://channel9.msdn.com/posts/YOW-2012-Brian-Beckman-and-Michael-Ficarra-CoffeeScript Thu, 20 Dec 2012 22:14:47 GMT http://channel9.msdn.com/posts/YOW-2012-Brian-Beckman-and-Michael-Ficarra-CoffeeScript Charles Charles 0 http://channel9.msdn.com/posts/YOW-2012-Brian-Beckman-and-Michael-Ficarra-CoffeeScript/rss Brian Beckman Expert to Expert JavaScript YOW! 2012 Erik Meijer and Gilad Bracha: Dart, Monads, Continuations, and More While attending GOTO Aarhus 2012, the great Gilad Bracha stopped by the venue (he wasn't attending or speaking at the conference. He was in Aarhus to do work with the core DART engineering team, who are based there). Erik Meijer was a track owner for the event, so he was wandering around the halls in his trademark tie dyes...

Gilad and Erik. Same place. Same time. A coincidence that demanded an Expert to Expert session. They kindly agreed to be put into the spotlight (literally) for a C9 conversation. Here's what happened...

Giladism #42: "Mathematicians love to explain things backwards."
Giladism #43: "There is a huge role for mathematical abstractions in programming languages. It's just that you have to know when to shut up about them and stop taking them as religion."

Some highlights:

[00:00] State of programming language design today
[05:01] On actors
[08:28] Dart snapshot facility
[34:07] On monads
[42:26] On continuations and when to hide mathematical complexity from users

Tune in. Enjoy.

Huge thanks to Gilad and Erik for this excellent conversation!

]]> http://channel9.msdn.com/posts/Erik-Meijer-and-Gilad-Bracha-Dart-Monads-Continuations-and-More While attending GOTO Aarhus 2012, the great Gilad Bracha stopped by the venue (he wasn't attending or speaking at the conference. He was in Aarhus to do work with the core DART engineering team, who are based there). Erik Meijer was a track owner for the event, so he was wandering around the halls in his trademark tie dyes... Gilad and Erik. Same place. Same time. A coincidence that demanded an Expert to Expert session. They kindly agreed to be put into the spotlight (literally) for a C9 conversation. Here's what happened...Giladism #42:&nbsp;&quot;Mathematicians love to explain things backwards.&quot;Giladism #43: &quot;There is&nbsp;a huge&nbsp;role for mathematical abstractions in programming languages. It's just that you have to know when to shut up about them and stop taking them as religion.&quot;Some highlights: [00:00] State of programming language design today[05:01] On actors[08:28]&nbsp;Dart snapshot facility[34:07] On monads[42:26] On continuations and when to hide mathematical complexity from usersTune in. Enjoy.Huge thanks to Gilad and Erik for this excellent conversation! 3037 http://channel9.msdn.com/posts/Erik-Meijer-and-Gilad-Bracha-Dart-Monads-Continuations-and-More Tue, 23 Oct 2012 17:58:40 GMT http://channel9.msdn.com/posts/Erik-Meijer-and-Gilad-Bracha-Dart-Monads-Continuations-and-More Charles Charles 16 http://channel9.msdn.com/posts/Erik-Meijer-and-Gilad-Bracha-Dart-Monads-Continuations-and-More/rss Erik Meijer Expert to Expert Gilad Bracha Monads Programming Languages Dart GOTO Aarhus 2012 Expert to Expert: Erik Meijer and Rich Hickey - Clojure and Datomic At GOTO Chicago Functional Programming Night, Erik Meijer and Rich Hickey sat down for a chat about the latest in Rich's programming language, Clojure, and also a had short discussion about one of Rich's latest projects, Datomic, a database written in Clojure. Always a pleasure to get a few titans together for a random discussion. Thank you Erik and Rich!

As Erik mentioned in the discussion, Rich has been on C9 before. Welcome back, Rich!

Rich's session from GOTO FP Night -> The Database as a Value.

Erik's session from GOTO FP Night -> Functional Programming from First Principles (Coming soon!).

Thanks to Dave Thomas for hosting C9 at this affair. We're lucky to have such a great supporter!

PS: The GOTO conference is coming to Chicago in 2013. Erik and Rich will be there along with several other great speakers.

 

 

]]> http://channel9.msdn.com/posts/Expert-to-Expert-Erik-Meijer-and-Rich-Hickey-Clojure-and-Datomic At GOTO Chicago Functional Programming Night, Erik Meijer and Rich Hickey sat down for a chat about the latest in Rich's programming language, Clojure, and also a had short discussion about one of Rich's latest projects, Datomic, a database written in Clojure. Always a pleasure to get a few titans together for a random discussion. Thank you Erik and Rich! As Erik mentioned in the discussion, Rich has been on C9 before. Welcome back, Rich!Rich's&nbsp;session from&nbsp;GOTO FP Night&nbsp;-&gt; The Database as a Value.Erik's session from GOTO FP Night -&gt; Functional Programming from First Principles (Coming soon!). Thanks to Dave Thomas for hosting C9 at this affair. We're lucky to have such a great supporter! PS: The GOTO conference is coming to Chicago in 2013. Erik and Rich will be there along with several other great speakers. &nbsp; &nbsp; 1197 http://channel9.msdn.com/posts/Expert-to-Expert-Erik-Meijer-and-Rich-Hickey-Clojure-and-Datomic Fri, 31 Aug 2012 18:29:52 GMT http://channel9.msdn.com/posts/Expert-to-Expert-Erik-Meijer-and-Rich-Hickey-Clojure-and-Datomic Charles Charles 11 http://channel9.msdn.com/posts/Expert-to-Expert-Erik-Meijer-and-Rich-Hickey-Clojure-and-Datomic/rss Clojure Erik Meijer Expert to Expert Functional Programming Programming Languages Database GOTO Chicago E2E: Erik Meijer and Robert Griesemer - Going Go At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.

Here, Erik interviews Go language designer Robert Griesemer. Go is a concurrent, garbage-collected systems programming language with fast compilation. See Robert's Lang.NEXT 2012 Go presentation.

Topics in this E2E conversation include:

Is Go native? What is native, exactly? Why Go?

Tune in.

Thank you Robert and Erik for the fascinating conversation.

]]> http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-Robert-Griesemer-Go At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. Here, Erik interviews Go language designer Robert Griesemer. Go is a concurrent, garbage-collected systems programming language with fast compilation. See Robert's Lang.NEXT 2012 Go presentation.Topics in this E2E conversation include: Is Go native? What is native, exactly? Why Go? Tune in.Thank you Robert and Erik for the fascinating conversation. 2643 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-Robert-Griesemer-Go Mon, 07 May 2012 13:00:00 GMT http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-Robert-Griesemer-Go Charles Charles 6 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-Robert-Griesemer-Go/RSS Erik Meijer Expert to Expert Programming Languages Native Lang.NEXT 2012 E2E: Erik Meijer and Jeroen Frijters - IKVM.NET (Java VM implemented in .NET) At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.

Here, Erik interviews fellow Dutchman Jeroen Frijters, the creator and maintainer of IKVM.NET. See Jeroens' Lang.NEXT 2012 IKVM.NET presentation.

IKVM.NET is an implementation of Java for Mono and the Microsoft .NET Framework. It contains a Java Virtual Machine implemented in .NET, a .NET implementation of the Java class libraries, tools that enable Java and .NET interoperability.

Tune in.

Thank you Erik and Jeroen for the excellent conversation.

]]> http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Jeroens-Frijters-IKVMNET-Java-VM-implemented-in-NET At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.Here, Erik interviews fellow Dutchman Jeroen Frijters, the creator and maintainer of IKVM.NET. See Jeroens' Lang.NEXT 2012 IKVM.NET presentation. IKVM.NET is an implementation of Java for Mono and the Microsoft .NET Framework. It contains a Java Virtual Machine implemented in .NET,&nbsp;a .NET implementation of the Java class libraries, tools that enable Java and .NET interoperability. Tune in.Thank you Erik and Jeroen for the excellent conversation. 1683 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Jeroens-Frijters-IKVMNET-Java-VM-implemented-in-NET Tue, 01 May 2012 12:00:00 GMT http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Jeroens-Frijters-IKVMNET-Java-VM-implemented-in-NET Charles Charles 5 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Jeroens-Frijters-IKVMNET-Java-VM-implemented-in-NET/RSS .NET .NET Framework Erik Meijer Expert to Expert Java JVM Virtual Machines _techmeme Lang.NEXT 2012 E2E: Erik Meijer and John Cook - R, Statistical Computing, Blogging and More At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.

Here, Erik interviews John Cook, an applied Mathematician currently working at the M.D. Anderson Cancer Research Center. R is a language and environment for statistical computing and graphics (see his Lang.NEXT 2012 session on R here). John is an avid blogger.

Tune in. Meet John and learn more about R and how he uses it to solve real world statistical problems in cancer research. You'll also get insights John's consistent sharing of and musings on a wide variety of technical topics. His blog is exceptional.

Thank you Erik and John for this excellent conversation.

]]> http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. Here, Erik interviews John Cook, an applied Mathematician currently working at the M.D. Anderson Cancer Research Center. R is a language and environment for statistical computing and graphics (see his Lang.NEXT 2012 session on R here).&nbsp;John&nbsp;is an avid blogger.Tune in. Meet John and learn more about R and how he uses it to solve real world statistical problems in cancer research. You'll also get insights John's consistent sharing of and musings on&nbsp;a wide variety of&nbsp;technical topics. His blog is exceptional. Thank you Erik and John for this excellent conversation. 1764 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More Mon, 23 Apr 2012 12:45:00 GMT http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More Charles Charles 0 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More/RSS Computer Science Erik Meijer Expert to Expert Mathematics _techmeme Lang.NEXT 2012 Mads Torgersen and Kim Bruce - Grace Programming Language At Lang.NEXT 2012 several conversations took place in the "social room" and we captured some of them for C9.

Here, computer scientist and C# PM Mads Torgersen discusses the Grace programming language with legendary computer scientist and educator Kim Bruce, one of Grace's designers. How do you design a general purpose programming language that is primarily a language for learning how to program (eventually) in other languages like C++, C#, Java?

Tune in.

]]> http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-and-Kim-Bruce-Grace-Programming-Language At Lang.NEXT 2012 several conversations took place in the &quot;social room&quot; and we captured some of them for C9. Here, computer scientist and C#&nbsp;PM Mads Torgersen discusses the Grace programming language with legendary computer scientist and educator&nbsp;Kim Bruce,&nbsp;one of Grace's designers. How do you design a general purpose programming language that is primarily a language for learning how to program (eventually) in other languages like C&#43;&#43;, C#, Java? Tune in. 905 http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-and-Kim-Bruce-Grace-Programming-Language Mon, 16 Apr 2012 20:00:00 GMT http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-and-Kim-Bruce-Grace-Programming-Language Charles Charles 1 http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-and-Kim-Bruce-Grace-Programming-Language/RSS Expert to Expert Programming Languages Lang.NEXT 2012 Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know, but were afraid to ask) At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. We'll begin with these Expert to Expert episodes with a "standing" conversation (participants stand comfortably close to the whiteboard) with computer scientists Carl Hewitt, Visiting Professor at Stanford University, creator of the Planner programming language, inventor of the Actor Model (the topic of this conversation), Clemens Szyperski, an MSR scientist working in the Connected Systems Group and Erik.

What are actors, exactly? No, really. What are they? When is an actor an actor? Everything you wanted to know about actors, but we're afraid to ask... It's all right here. Big thanks to Carl, Clemens and Erik. This is an excellent E2E(2E)! Smiley

]]> http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. We'll begin with these&nbsp;Expert to&nbsp;Expert episodes with&nbsp;a &quot;standing&quot; conversation (participants stand comfortably close to the whiteboard) with computer scientists Carl Hewitt, Visiting Professor at Stanford University, creator of the Planner programming language,&nbsp;inventor of the Actor Model (the topic of this conversation), Clemens Szyperski, an MSR scientist working in the Connected Systems Group and Erik. What are actors, exactly? No, really. What are they? When is an actor an actor? Everything you wanted to know about actors, but we're afraid to ask... It's all right&nbsp;here. Big thanks to Carl, Clemens and Erik. This is an excellent E2E(2E)! 2554 http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Mon, 09 Apr 2012 12:00:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask/RSS Computer Science Erik Meijer Expert to Expert Programming Languages _techmeme Lang.NEXT 2012 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History Meet  Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the fields of computer science and engineering which you will learn about by listening to John's great storytelling in this awesome conversation. Wolfram Schulte and John Rushby!! Smiley Oh, and by the way, who invented the computer mouse, anyway? Are you sure?

Tune in. Enjoy.

Recently, I got to attend ICSE 2011 and, even better, I got to record a bunch of Expert to Expert conversations with the great Wolfram Schulte and some legends in various areas of computer science and engineering. What a treat! Thank you, Wolfram!

 

 

]]> http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History Meet &nbsp;Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the fields of computer science and engineering which you will learn about by listening to John's great storytelling in this awesome conversation. Wolfram Schulte and John Rushby!! Oh, and by the way, who invented the computer mouse, anyway? Are you sure? Tune in. Enjoy. Recently, I got to attend ICSE 2011 and, even better, I got to record a bunch of Expert to Expert conversations with the great Wolfram Schulte and some legends&nbsp;in various areas of computer science and engineering. What a treat! Thank you, Wolfram! &nbsp; &nbsp; 2166 http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History Wed, 15 Jun 2011 17:19:46 GMT http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History Charles Charles 3 http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History/rss Computer Science Expert to Expert RiSE software verification ICSE 2011 ICSE 2011: Conversation with Kumiyo Nakakoji ICSE, the International Conference on Software Engineering,®is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.

Thankfully, I got to attend ICSE 2011 and, even better, got to record a bunch of Expert to Expert episodes that feature the great Wolfram Schulte leading the conversations with specialists in various areas of computer science and engineering. What a treat! Thank you, Wolfram.

Kumiyo Nakakoji, Director at Key Technology Laboratory, Software Research Associates Inc., Japan, received B.S. in computer science from Osaka University, Japan, in 1986, and M.S. in 1990 and Ph.D. in 1993, both in computer science from University of Colorado, Boulder, certified in Institute of Cognitive Science. She has been spending her research career both in industry and academia. She has served as chairs, editors, and members for numerous research committees, journals, conferences, and government funding agencies, in the fields of Human-Computer Interaction, Software Engineering, and Design and Creative Knowledge Work Support. She was awarded Distinguished Engineering Alumni Award from College of Engineering, University of Colorado, Boulder, in 2006.

Dr. Nakakoji gave the Day 1 keynote at ICSE 2011, "Interactivity, Continuity, Sketching & Experience". The topic was design, both designing software(the world of making) and user-centric software design(the world of using). Often, these two worlds collide rather than work in unison - you have design professionals painting pictures and building out a user-centric experience and then you have software engineers who design and implement the software systems and algorithms that realize and drive the overall user experience of the software. The best case scenario is one where designers and implementors/engineers work in tandem throughout the development lifecycle. Let's find out from Dr. Nakakoji why this is the case.

]]> http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji ICSE, the International Conference on Software Engineering,®is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering. Thankfully, I got to attend ICSE 2011 and, even better, got to record a bunch of Expert to Expert episodes that feature the great Wolfram Schulte leading the conversations with specialists in various areas of computer science and engineering. What a treat! Thank you, Wolfram. Kumiyo Nakakoji, Director at Key Technology Laboratory, Software Research Associates Inc., Japan, received B.S. in computer science from Osaka University, Japan, in 1986, and M.S. in 1990 and Ph.D. in 1993, both in computer science from University of Colorado, Boulder, certified in Institute of Cognitive Science. She has been spending her research career both in industry and academia. She has served as chairs, editors, and members for numerous research committees, journals, conferences, and government funding agencies, in the fields of Human-Computer Interaction, Software Engineering, and Design and Creative Knowledge Work Support. She was awarded Distinguished Engineering Alumni Award from College of Engineering, University of Colorado, Boulder, in 2006. Dr. Nakakoji gave the Day 1 keynote at ICSE 2011, &quot;Interactivity, Continuity, Sketching &amp; Experience&quot;.&nbsp;The topic&nbsp;was design, both designing software(the world of making) and user-centric software design(the world of using).&nbsp;Often, these two worlds collide rather than work in unison - you have design professionals painting pictures and building out a user-centric experience and then you have software engineers who design and implement the software systems and algorithms that realize and drive&nbsp;the overall user experience of the software. The best case scenario is one where designers and implementors/engineers work in tande 1916 http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji Mon, 13 Jun 2011 19:08:45 GMT http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji Charles Charles 2 http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji/rss Design Expert to Expert Interaction design RiSE Software Engineering Research ICSE 2011 ICSE 2011: Conversation with Andreas Zeller ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.

Thankfully, I got to attend ICSE 2011 and, even better, got to record a bunch of Expert to Expert episodes that feature the great Wolfram Schulte leading the conversations with specialists in various areas of computer science and engineering. What a treat! Thank you, Wolfram.

In this video, we meet Andreas Zeller, the creator of delta debugging and, in some sense, the world's preeminent debugger mind. His book, Why Programs Fail, should be on the shelves (and not collecting dust, mind you!) of all software developers. Dr. Zeller is very passionate about the discipline of software engineering—the craft of writing software, of making software systems. In particular, Dr. Zeller is a champion of code assertions! If you can't assert what you mean, then what do you really mean? What does Dr. Zeller really mean with this assertion business? Tune in.

As developers, we know how much time we spend debugging compared to composing. For some of us, all nighters are more a result of bug chasing than feature building or algorithm construction/optimizations—Andreas has a great perspective on debugging and what all developers should do in order to work 9-5 and get plenty of sleep Smiley

Enjoy.

]]> http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller ICSE, the International Conference on Software Engineering,®&nbsp;is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering. Thankfully, I got to attend ICSE 2011 and, even better, got to record a bunch of Expert to Expert episodes that feature the great Wolfram Schulte leading the conversations with specialists in various areas of computer science and engineering. What a treat! Thank you, Wolfram. In this video, we meet Andreas Zeller, the creator of delta debugging and, in some sense, the world's preeminent debugger mind. His book, Why Programs Fail, should be on the shelves (and not collecting dust, mind you!) of all software developers. Dr. Zeller is very passionate about the discipline of software engineering—the craft of writing software, of making software systems. In particular, Dr. Zeller is a champion of code assertions! If you can't assert what you mean, then what do you really mean? What does Dr. Zeller really mean with this assertion business? Tune in. As developers, we know how much time we spend debugging compared to composing. For some of us, all nighters are more a result of bug chasing than feature building or algorithm construction/optimizations—Andreas has a great perspective on debugging and what all developers should do in order to work 9-5 and get plenty of sleep Enjoy. 1474 http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller Wed, 08 Jun 2011 15:00:00 GMT http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller Charles Charles 8 http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller/rss Computer Science Debugging Expert to Expert Microsoft Research MS Research RiSE Software Engineering Research computer science ICSE 2011 E2E: Herb Sutter and Erik Meijer - Perspectives on C++ It's not often that we can get two minds of Erik Meijer's and Herb Sutter's caliber together for an impromptu technical conversation during Christmas break at Microsoft... Well, we did and the next hour or so contains a lot of intelligence, knowledge, wisdom, and passion. This is one of the more heated E2Es we've had the pleasure to be a part of and we think you'll agree. Herb and Erik are among the brightest of our trove of bright-minded engineers. We thank Erik and Herb for being so flexible and accommodating (there was no specific topical plan for the conversation other than the obvious—Herb and what he knows so well, C++). 

Herb Sutter is an Architect on the VC++ team, chair of the C++ Standards Committee, a polished technical speaker and a super capable programmer. He is an ardent advocate of native code and works with the industry to move C++ in the direction it needs to go as general purpose computing evolves. As you know, Erik Meijer is a functional programming fundamentalist, a C9 celebrity, a master of mathematical duality and an unusually productive innovator (LINQ, "Volta," and Rx, are a few of his recent accomplishments). Erik is also the Chief Interrogation Officer for C9's Expert to Expert series. In this case, given functional programming's conceptual fingerprint showing up in almost all general purpose programming languages, including C++ with the addition of lambdas, putting Erik and Herb in the same room was sure to create some geeky technical magic. This post captures exactly what happened, unedited and raw. It's one of the best E2Es to date! Thank you, Erik and Herb! Keep pushing the envelope.

Tune in. Enjoy. Learn.

]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Herb-Sutter-and-Erik-Meijer-Perspectives-on-C It's not often that we can get two minds of&nbsp;Erik Meijer's&nbsp;and Herb Sutter's&nbsp;caliber together for an impromptu technical conversation during Christmas break at Microsoft... Well, we did and the next hour or so contains a lot of intelligence, knowledge, wisdom, and passion. This is one of the more heated E2Es we've had the pleasure to be a part of and we think you'll agree. Herb and Erik are among the brightest of our trove of bright-minded engineers. We thank Erik and Herb for being so flexible and&nbsp;accommodating&nbsp;(there was no specific topical plan for the conversation other than the obvious—Herb and what he knows so well, C&#43;&#43;).&nbsp; Herb Sutter&nbsp;is an Architect on the VC&#43;&#43; team, chair of the C&#43;&#43; Standards Committee, a polished technical speaker and a super capable programmer. He is an ardent advocate of native code and works with the industry to move C&#43;&#43; in the direction it needs to go as general purpose computing evolves. As you know, Erik Meijer is a functional programming fundamentalist, a C9 celebrity, a master of&nbsp;mathematical duality&nbsp;and an unusually productive innovator (LINQ, &quot;Volta,&quot; and Rx, are a few of his recent accomplishments). Erik is also the Chief Interrogation Officer&nbsp;for C9's&nbsp;Expert to Expert series. In this case, given functional programming's conceptual fingerprint showing up in almost all general purpose programming languages, including C&#43;&#43; with the addition of lambdas, putting Erik and Herb in the same room was sure to create some geeky technical magic. This post captures exactly what happened, unedited and raw. It's one of the best E2Es to date! Thank you, Erik and Herb! Keep pushing the envelope.Tune in. Enjoy. Learn. 3926 http://channel9.msdn.com/Shows/Going+Deep/E2E-Herb-Sutter-and-Erik-Meijer-Perspectives-on-C Thu, 13 Jan 2011 20:31:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Herb-Sutter-and-Erik-Meijer-Perspectives-on-C Charles Charles 51 http://channel9.msdn.com/Shows/Going+Deep/E2E-Herb-Sutter-and-Erik-Meijer-Perspectives-on-C/RSS C++ C++0x Erik Meijer Expert to Expert Functional Programming Programming Languages Herb Sutter C++11 E2E: Concurrent Programming with Revisions  

 

Building applications that are responsive and can exploit parallel hardware poses an important challenge. In particular, enabling applications to execute various tasks in parallel can be difficult if those tasks exhibit read and write conflicts. Revisions are forked and joined much like asynchronous tasks. However, rather than accessing global shared data directly (and thereby risking data races or atomicity violations), all revisions execute on a (conceptual) copy of the shared state, a "global mutable snapshot" so to speak. Any changes performed in a revision apply to that snapshot only, until the revision is joined at which the [sic] changes become globally effective [source = http://research.microsoft.com/en-us/projects/revisions/].

Here, Erik Meijer interrogates (in a nice way) computer scientists Daan Leijen and Sebastian Burckhardt, the researchers behind Revisions. As usual, Erik asks great questions and the scientists spend much of the time at the whiteboard, drawing and writing answers to clearly explain what revisions are, how they work, and why this model matters. In a nice twist of fate, Erik was Daan's PhD advisor at Utrecht University in the Netherlands (that must have been awesome—lucky Daan!).

Revisions are yet another example of the great work coming out of the RiSE group in MSR. You don't have to wait for a "CTP" of Revisions for C# -> Just go to http://rise4fun.com/Revisions and write some code! Thanks to Peli and the RiSE team developers for implementing such an awesome web-based experimentation sandbox.

Tune in. Learn. Enjoy.

 

]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Concurrent-Programming-with-Revisions &nbsp; &nbsp; Building applications that are responsive and can exploit parallel hardware poses an important challenge. In particular, enabling applications to execute various tasks in parallel can be difficult if those tasks exhibit read and write conflicts. Revisions&nbsp;are forked and joined much like asynchronous tasks. However, rather than accessing global shared data directly (and thereby risking data races or atomicity violations), all revisions execute on a (conceptual) copy of the shared state, a &quot;global mutable snapshot&quot; so to speak. Any changes performed in a revision apply to that snapshot only, until the revision is joined at which the [sic] changes become globally effective&nbsp;[source = http://research.microsoft.com/en-us/projects/revisions/]. Here, Erik Meijer interrogates (in a nice way)&nbsp;computer scientists Daan Leijen and Sebastian Burckhardt, the researchers behind Revisions. As usual, Erik asks great questions and the scientists spend much of the time at the whiteboard, drawing and writing answers to clearly explain what revisions are, how they work, and why this model matters. In a nice twist of fate, Erik was Daan's PhD advisor at Utrecht University in the Netherlands&nbsp;(that must have been awesome—lucky Daan!). Revisions are yet another example of the great work coming out of the RiSE group in MSR. You don't have to wait for a &quot;CTP&quot; of Revisions for C# -&gt; Just go to http://rise4fun.com/Revisions&nbsp;and write some code! Thanks to Peli and the&nbsp;RiSE team developers&nbsp;for implementing such an awesome web-based experimentation sandbox. Tune in. Learn. Enjoy. &nbsp; 4238 http://channel9.msdn.com/Shows/Going+Deep/E2E-Concurrent-Programming-with-Revisions Thu, 11 Nov 2010 17:54:37 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Concurrent-Programming-with-Revisions Charles Charles 18 http://channel9.msdn.com/Shows/Going+Deep/E2E-Concurrent-Programming-with-Revisions/RSS Concurrency Erik Meijer Expert to Expert Microsoft Research MS Research Parallelism Programming RiSE E2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate Systems Greg Meredith, a mathematician and computer scientist. It's just bound to be an intellectual jam session!

The idea for the format of this conversation is simple: put two geniuses together, give them each a whiteboard and some markers, and see what happens. It's much like free jazz: expert improvisation, seriously geeked-out whiteboard jamming.

The content theme for this episode--Monads as coordinate systems--is not simple. To grok this, we need to think in three dimensions: programming, physics and mathematics. But don't worry. Brian and Greg do not expect to be jamming in front of only fellow experts. This is Channel 9, after all, and there are many different levels of knowledge out there amongst our Niner population. Accordingly, you will not feel as though you're watching something in a language you don't speak. That said, you should possess interests in the theoretical, in mathematics, and in physics, and an overall appreciation for learning new things.

This is a fantastic whiteboard jam session with two very interesting, very bright, and very knowledgeable experimental theoreticians Smiley. Enjoy!

Link to Huet's Zipper paper. ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Whiteboard-Jam-Session-with-Brian-Beckman-Greg-Meredith-Monads-and-Coordinate-Systems In this latest edition of Expert to Expert (and Going Deep), the great Brian Beckman, astrophysicist and software architect,&nbsp;is joined by Greg Meredith, a&nbsp;mathematician and computer scientist.&nbsp;It's just bound to be an intellectual jam session!The idea for the format of this conversation is simple: put two geniuses together, give them each a whiteboard and some markers, and see what happens. It's much like free jazz: expert improvisation, seriously geeked-out whiteboard jamming.The content theme for this episode--Monads as coordinate systems--is not simple. To grok this, we need to think in three dimensions: programming, physics and mathematics. But don't worry. Brian and Greg do not expect to be jamming in front of only fellow experts. This is Channel 9, after all, and there are many different levels of knowledge out there amongst our Niner population. Accordingly, you will not feel as though you're watching something in a language you don't speak. That said, you should possess interests in the theoretical, in mathematics, and in physics, and an overall appreciation for learning new things. This is a fantastic whiteboard jam session with two very interesting, very bright, and very knowledgeable experimental theoreticians . Enjoy! Link to Huet's Zipper paper. 2395 http://channel9.msdn.com/Shows/Going+Deep/E2E-Whiteboard-Jam-Session-with-Brian-Beckman-Greg-Meredith-Monads-and-Coordinate-Systems Wed, 07 Jul 2010 19:08:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Whiteboard-Jam-Session-with-Brian-Beckman-Greg-Meredith-Monads-and-Coordinate-Systems Charles Charles 17 http://channel9.msdn.com/Shows/Going+Deep/E2E-Whiteboard-Jam-Session-with-Brian-Beckman-Greg-Meredith-Monads-and-Coordinate-Systems/RSS Brian Beckman Computer Science Expert to Expert Mathematics Monad Monads Physics Programming E2E: Brian Beckman and Erik Meijer - Co/Contravariance in Physics and Programming, 3 of n Co/Contravariance in Physics and Programming Hypothesis/Challenge has finally arrived, Niners! Smiley
 
You learned about Brian Beckman's perspective on covariance and contravariance in physics. Erik Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in two different domains: physics and programming.

What will they discover at the whiteboards?

Tune in to find out in this n-part series (part 1 here, part 2 here) with two of Channel 9's and Microsoft's most famous and respected software practitioners. Will there be a part 4? Perhaps you can help Brian and Erik find an answer to this interesting problem. They're real close. Niners can help reach the end line (if there is in fact one). It is highly recommended that you watch the first parts before watching this one!

Thinking caps on? Go! ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-3-of-3 Part 3 of the Beckman Meijer Co/Contravariance in Physics and Programming Hypothesis/Challenge has finally arrived, Niners! &nbsp;You learned about&nbsp;Brian Beckman's perspective on covariance and contravariance in physics. Erik&nbsp;Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in two different domains: physics and programming. What will they discover at the whiteboards?Tune in to find out in this n-part series (part 1 here, part 2 here)&nbsp;with two of Channel 9's and Microsoft's most famous and respected software practitioners. Will there be a part 4? Perhaps you can help Brian and Erik find an answer to&nbsp;this interesting problem. They're real close. Niners can help reach the end line (if there is in fact one). It is highly recommended that you watch the first parts before watching this one!Thinking caps on? Go! 2162 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-3-of-3 Tue, 25 May 2010 17:12:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-3-of-3 Charles Charles 27 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-3-of-3/RSS Brian Beckman Erik Meijer Expert to Expert Mathematics Physics Programming E2E: Erik Meijer and Cormac Herley - Rational Rejection of Security Advice by Users Dr. Cormac Herley spends most of his time thinking about why and how computer users reject security advice (from both fellow humans and software security warning prompts). Recently, his paper, "So Long, and No Thanks for the Externalities: the Rational Rejection of Security Advice by Users," received a fair amount of attention from the general media (Boston Globe, Tech Republic, NPR, etc). The paper also prompted our favorite software renegade, Dr. Erik Meijer, to send me an email, simply asking that I "please set up an E2E with Cormac Herley." I did just that and the following conversation is what happened...

Enjoy. ]]> http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Cormac-Herley-Rational-Rejection-of-Security-Advice-by-Users Dr. Cormac Herley&nbsp;spends most of his time thinking about why and how computer users reject security advice (from both fellow humans and software security warning prompts). Recently, his paper, &quot;So Long, and No Thanks for the Externalities: the Rational Rejection of Security Advice by Users,&quot; received a fair amount of attention from the general media (Boston Globe, Tech Republic, NPR, etc). The paper also prompted our favorite software renegade, Dr. Erik Meijer,&nbsp;to send me an email, simply asking that I &quot;please set up an E2E with Cormac Herley.&quot; I did just that and the following conversation is what happened... Enjoy. 2884 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Cormac-Herley-Rational-Rejection-of-Security-Advice-by-Users Fri, 23 Apr 2010 19:10:00 GMT http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Cormac-Herley-Rational-Rejection-of-Security-Advice-by-Users Charles Charles 7 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Cormac-Herley-Rational-Rejection-of-Security-Advice-by-Users/RSS Erik Meijer Expert to Expert Microsoft Research MS Research Security Inside SPUR - A Trace-Based JIT Compiler for CIL Wolfram Schulte, Herman Venter, Nikolai Tillmann, and Manuel Fahndrich join Erik Meijer for an Expert to Expert deep dive into the theory and implementation strategies inside of SPUR, a research Tracing Just-In-Time (TJIT) compiler for Microsoft’s Common Intermediate Language CIL (the target language of C#, VB.NET, F#, and many other .NET languages).  

Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strategy to be especially beneficial for dynamic languages such as JavaScript, where the TJIT interfaces with the interpreter and produces machine code from the JavaScript trace. 

In order to validate that the performance gains of a TJIT for interpreted languages like JavaScript do not depend on specific idioms of the language, the SPUR team produces a performance evaluation of a JavaScript runtime that translates JavaScript to CIL and then runs on top of SPUR.

Read the SPUR research paper. ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Computer Scientists and MSR Researchers Wolfram Schulte, Herman Venter,&nbsp;Nikolai Tillmann, and&nbsp;Manuel Fahndrich join&nbsp;Erik Meijer for an&nbsp;Expert to Expert deep&nbsp;dive into the&nbsp;theory&nbsp;and implementation strategies&nbsp;inside of SPUR, a research Tracing Just-In-Time (TJIT) compiler&nbsp;for Microsoft’s Common Intermediate Language CIL (the target language of C#, VB.NET, F#, and many other .NET&nbsp;languages).&nbsp;&nbsp;Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strategy to be especially beneficial for dynamic languages such as JavaScript, where the TJIT interfaces with the interpreter and produces machine code from the JavaScript trace.&nbsp;In order to validate that the performance gains of a TJIT for interpreted languages like JavaScript do not depend on specific idioms of the language, the SPUR team produces a performance evaluation of a JavaScript runtime that translates JavaScript to CIL and then runs on top of SPUR.Read the SPUR research&nbsp;paper. 3030 http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Thu, 15 Apr 2010 19:32:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Charles Charles 17 http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR/RSS Compilers Erik Meijer Expert to Expert JavaScript JIT Managed Code Microsoft Research MS Research Programming Languages RiSE Project JSMeter: JavaScript Performance Analysis in the Real World Douglas Crockford likes to say, JavaScript is both the world's most popular programming language and the world's least popular programming language at the same time.

In this episode of Expert to Expert (to Expert), Erik Meijer joins MSR research scientists Ben Livshits and Ben Zorn to talk about JavaScript, project JSMeter and today's trends in web programming.

Dr. Zorn and Dr. Livshits have been doing a significant amount of research on how JavaScript is used in the real world by analyzing JS execution on large-scale (JS-heavy) commercial web sites. Their formal exploration of JS executing in the real world, Project JSMeter, has yielded results, which seem to indicate that current JS performance test suites are at best suspect in terms of how JavaScript is actually running on the web, in production, on real sites, etc. But read the findings and make your own judgments, of course. 

Tune in. Enjoy. ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Research-Perspectives-on-JavaScript-with-Erik-Meijer-Ben-Zorn-and-Ben-Livshits JavaScript is the most widely used programming language on the web. As the great Douglas Crockford likes to say, JavaScript is both the world's most popular programming language and the world's least popular programming language at the same time.In this episode of Expert to Expert (to Expert), Erik Meijer&nbsp;joins MSR research scientists&nbsp;Ben Livshits and Ben Zorn to talk about JavaScript, project JSMeter&nbsp;and&nbsp;today's trends in&nbsp;web programming. Dr. Zorn and Dr. Livshits have been doing a significant amount of research on how JavaScript is used in the real world by analyzing JS execution on large-scale (JS-heavy) commercial web sites. Their formal exploration of JS executing in the real world,&nbsp;Project&nbsp;JSMeter, has yielded results, which seem to indicate that current JS performance test suites are at best suspect in terms of how JavaScript is actually running on the web, in production, on real sites, etc. But read the findings and make your own judgments, of course.&nbsp;Tune in. Enjoy. 2975 http://channel9.msdn.com/Shows/Going+Deep/E2E-Research-Perspectives-on-JavaScript-with-Erik-Meijer-Ben-Zorn-and-Ben-Livshits Mon, 29 Mar 2010 00:03:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Research-Perspectives-on-JavaScript-with-Erik-Meijer-Ben-Zorn-and-Ben-Livshits Charles Charles 6 http://channel9.msdn.com/Shows/Going+Deep/E2E-Research-Perspectives-on-JavaScript-with-Erik-Meijer-Ben-Zorn-and-Ben-Livshits/RSS Erik Meijer Expert to Expert JavaScript JSMeter Microsoft Research MS Research Programming Languages RiSE E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -Leslie Lamport.


Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research contributions laid the foundations for the theory of distributed systems. He currently works in Microsoft Research where most of his time is spent developing formal semantics (with mathematical logic) for specifying and reasoning about algorithms.

Here, Dr. Erik Meijer, computer scientist and programming language/library designer, sits down with Dr. Lamport to discuss several aspects of Dr. Lamport's body of work in computer science.

Dr. Lamport's TLA, the Temporal Logic of Actions, is a logic for specifying and reasoning about concurrent and reactive systems. TLA+ is the latest incarnation of this formal specification toolset.

]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -Leslie Lamport. Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research contributions laid the foundations for the theory of distributed systems. He currently works in Microsoft Research where most of his time is spent developing formal semantics (with mathematical logic)&nbsp;for specifying and reasoning about algorithms. Here, Dr. Erik Meijer, computer scientist and programming language/library designer, sits down with Dr. Lamport to discuss several aspects of Dr. Lamport's body of work in computer science. Dr. Lamport's TLA, the Temporal Logic of Actions, is a logic for specifying and reasoning about concurrent and reactive systems. TLA&#43; is the latest incarnation of this formal specification toolset. 3371 http://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems Tue, 09 Mar 2010 20:06:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems Charles Charles 11 http://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems/RSS Algorithms Computer Science Erik Meijer Expert to Expert Mathematics Microsoft Research MS Research Programming TLA Expert to Expert: Inside LINQ-to-SharePoint You first met Bart De Smet in an episode of Expert to Expert with the great Erik Meijer leading the conversational charge. LINQ-to-Anything was a very popular E2E episode and the 100th installment of Going Deep. If anybody in the world is an expert in LINQ-to it's certainly Bart. Not surprisingly, Bart created an implementation of LINQ-to-SharePoint before he started at Microsoft. The SharePoint programmability team was impressed and decided to take a stab at a more robust solution, based loosely on Bart's great work.

Well, here we are today with a new installment of E2E and Bart leading the conversation with two of the key SharePoint team members behind LINQ-to-SharePoint: Program Manager Maxim Lukiyanov and Software Developer Ivan Han.

Here, we learn all about the thinking behind the thinking (rationale, design decisions, solution paths, etc) and where this approach will lead the SharePoint programming experience for pro and non-pro developers alike. We also learn that Bart has joined Erik Meijer's team of superdevelopers! I think Erik just may have the most talented team of creative thinkers and techinal over-achievers in the company! Go team, go!

Tune in. Enjoy.

Here's the two links you need to click on to get started. Please provide feedback!!

SDK with LINQ-toS-SharePoint API

SharePoint Server 2010 Beta

]]> http://channel9.msdn.com/Blogs/Charles/E2E-Inside-LINQ-to-SharePoint You first met&nbsp;Bart De Smet in an episode of&nbsp;Expert to Expert with the great&nbsp;Erik Meijer leading the conversational charge. LINQ-to-Anything was a very popular E2E episode and the 100th installment of Going Deep. If anybody in the world is an expert in LINQ-to it's certainly Bart. Not surprisingly, Bart created an implementation of LINQ-to-SharePoint before he started at Microsoft. The SharePoint programmability team was impressed and decided to take a stab at a more robust solution, based loosely&nbsp;on Bart's great work. Well, here we are today with a new installment of E2E and Bart leading the conversation with two of the key SharePoint team members behind LINQ-to-SharePoint: Program Manager Maxim Lukiyanov and Software Developer Ivan Han. Here, we learn all about the thinking behind the thinking (rationale, design decisions, solution paths, etc) and where this approach will lead the SharePoint programming experience for pro and non-pro developers alike. We also learn that Bart has joined Erik Meijer's team of superdevelopers! I think Erik just may have the most talented team of creative thinkers and techinal over-achievers in the company! Go team, go!Tune in. Enjoy.Here's the two links you need to click on to get started. Please provide feedback!!SDK with LINQ-toS-SharePoint APISharePoint Server 2010 Beta 3343 http://channel9.msdn.com/Blogs/Charles/E2E-Inside-LINQ-to-SharePoint Thu, 21 Jan 2010 19:51:00 GMT http://channel9.msdn.com/Blogs/Charles/E2E-Inside-LINQ-to-SharePoint Charles Charles 2 http://channel9.msdn.com/Blogs/Charles/E2E-Inside-LINQ-to-SharePoint/RSS Bart De Smet Expert to Expert LINQ LINQ to SharePoint E2E: Brian Beckman and Erik Meijer - Co/Contravariance in Physics and Programming, 2 of 3

You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming. What will they discover at the whiteboards?

Tune in to find out in this three part series (this is part 2) with two of Channel 9's and Microsoft's most famous and respected software practitioners. See the first part here. The third part has not been filmed yet Smiley You should watch part one first. Here, the two scientists dig really deep, so put on your thinking caps, Niners.

Enjoy! ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-2-of-2 Happy new year! It's hard to believe that it's 2010. To start off the new year, how about some Beckman and Meijer? You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming. What will they discover at the whiteboards? Tune in to find out in this three part series (this is part 2)&nbsp;with two of Channel 9's and Microsoft's most famous and respected software practitioners. See the first part here. The third part has not been filmed yet &nbsp;You should watch part one first. Here, the two scientists dig really deep, so put on your thinking caps, Niners. Enjoy! 3890 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-2-of-2 Sun, 03 Jan 2010 16:24:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-2-of-2 Charles Charles 27 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-2-of-2/RSS Brian Beckman Erik Meijer Expert to Expert Mathematics Physics Programming E2E: Brian Beckman and Erik Meijer - Co/Contravariance in Physics and Programming, 1 of 3

You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming: two domains on three whiteboards Smiley

What will they discover at the whiteboards? Tune in to find out in this three part series (part 2 here) with two of Channel 9's and Microsoft's most famous and respected software practitioners. Part three has not been filmed yet Wink

Enjoy! ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-1-of-2 Happy new year! It's hard to believe that it's 2010. To start off the new year right, how about some Beckman and Meijer? You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming: two domains on three whiteboards What will they discover at the whiteboards? Tune in to find out in this three part series (part 2 here)&nbsp;with two of Channel 9's and Microsoft's most famous and respected software practitioners. Part three has not been filmed yet Enjoy! 1222 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-1-of-2 Fri, 01 Jan 2010 17:36:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-1-of-2 Charles Charles 14 http://channel9.msdn.com/Shows/Going+Deep/E2E-Brian-Beckman-and-Erik-Meijer-CoContravariance-in-Physics-and-Programming-1-of-2/RSS Brian Beckman Erik Meijer Expert to Expert Mathematics Physics Programming E2E2E: Meijer, Rys and Vick - Programming Data You asked for it and we delivered: The first E2E2E (expert to expert to expert). Here, Erik Meijer converses with language designer Paul Vick (of VB fame and now focusing on the language code-named "M") and Michael Rys, a long time expert in the world of data programmability working on the SQL Server team. This great conversation covers many topics (data, type systems, programming languages, transactions, beyond the relational database) as you've come to expect from Expert to Expert. Tune in.

Enjoy. ]]> http://channel9.msdn.com/Blogs/Charles/E2E2E-Meijer-Rys-and-Vick-Programming-Data You asked for it and we delivered: The first E2E2E (expert to expert to expert). Here, Erik Meijer converses with language designer Paul Vick (of VB fame and now focusing on the language code-named &quot;M&quot;) and Michael Rys, a long time expert in the world of data programmability working on the SQL Server team. This great conversation covers many topics (data, type systems, programming languages, transactions, beyond the relational database) as you've come to expect from Expert to Expert.&nbsp;Tune in.Enjoy. 3236 http://channel9.msdn.com/Blogs/Charles/E2E2E-Meijer-Rys-and-Vick-Programming-Data Tue, 08 Dec 2009 16:53:00 GMT http://channel9.msdn.com/Blogs/Charles/E2E2E-Meijer-Rys-and-Vick-Programming-Data Charles Charles 10 http://channel9.msdn.com/Blogs/Charles/E2E2E-Meijer-Rys-and-Vick-Programming-Data/RSS Architecture Erik Meijer Expert to Expert M Programming Programming Languages SQL Server Transactions E2E: Erik Meijer and Dave Campbell: Data, Databases and the Cloud Dave Campbell is a Technical Fellow at Microsoft and long time database architect. Today, Dave works on the hardest problems facing SQL's foray into the new world of cloud computing. His latest project in this space takes the form of SQL Azure. What is SQL Azure? What's the different with the cloud and what we already experience with SQL server running in a clustered environment and reachable via the Internet? How does this focus on cloud computing and impact the evolution of database design? What's going here? What's next? Erik Meijer, de facto E2E host and language designer, interviews Dave to ge answers to some of these questions. Erik works for Dave, by the way, and as you can see that doesn't stop Erik from asking more than softball questions.

Dave will be presenting at PDC09 in the Technical Leaders track. His talk will focus on ambient data and what this means for the evolution of ways to understand and shape the data this all around us using software. You should attend his session and come with questions if you are going to be at PDC. If you're not going to be there, then make sure to ask Dave questions when he appears on Channel 9 Live!

Enjoy! ]]> http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Dave-Campbell-Data-Databases-and-the-Cloud Dave Campbell&nbsp;is a Technical Fellow at Microsoft and long time database architect. Today, Dave works on the hardest problems facing SQL's foray into the new world of cloud computing. His latest project in this space takes the form of SQL Azure. What is SQL Azure? What's the different with the cloud and what we already experience with SQL server running in a clustered environment and reachable via the Internet? How does this focus on cloud computing and impact the evolution of database design? What's going here? What's next?&nbsp;Erik Meijer, de facto E2E host and language designer, interviews Dave to ge answers to some of these questions. Erik works for Dave, by the way, and as you can see that doesn't stop Erik from asking more than softball questions.Dave will be presenting at&nbsp;PDC09 in the Technical Leaders track. His talk will focus on ambient data and what this means for the evolution of ways to understand and shape the data this all around us using software. You should attend his session and come with questions if you are going to be at PDC. If you're not going to be there, then make sure to ask Dave questions when he appears on Channel 9 Live!Enjoy! 1983 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Dave-Campbell-Data-Databases-and-the-Cloud Sat, 14 Nov 2009 00:03:00 GMT http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Dave-Campbell-Data-Databases-and-the-Cloud Charles Charles 7 http://channel9.msdn.com/Blogs/Charles/E2E-Erik-Meijer-and-Dave-Campbell-Data-Databases-and-the-Cloud/RSS Cloud Computing Data Dave Campbell Erik Meijer Expert to Expert SQL Azure