<?xml version="1.0" encoding="UTF-8" ?>
<?xml-stylesheet type="text/xsl" media="screen" href="/styles/xslt/rss.xslt"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/" xmlns:media="http://search.yahoo.com/mrss/" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:c9="http://channel9.msdn.com">
<channel>
	<title>Channel 9 - Entries tagged with ICSE 2011</title>
    <atom:link rel="self" type="application/rss+xml" href="http://channel9.msdn.com/Tags/icse+2011/RSS"></atom:link>
    <itunes:summary></itunes:summary>
    <itunes:author>Microsoft</itunes:author>
    <itunes:subtitle></itunes:subtitle>
    <image>
      <url>http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png</url>
      <title>Channel 9 - Entries tagged with ICSE 2011</title>
      <link>http://channel9.msdn.com/Tags/icse+2011</link>
    </image>
    <itunes:image href=""></itunes:image>
    <itunes:category text="Technology"></itunes:category>
    <description>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.</description>
    <link>http://channel9.msdn.com/Tags/icse+2011</link>
    <language>en</language>
    <pubDate>Mon, 20 May 2013 05:35:33 GMT</pubDate>
    <lastBuildDate>Mon, 20 May 2013 05:35:33 GMT</lastBuildDate>
    <generator>Rev9</generator>
    <c9:totalResults>8</c9:totalResults>
    <c9:pageCount>1</c9:pageCount>
    <c9:pageSize>25</c9:pageSize>
  <item>
      <title>ICSE 2011: Conversation with Baris Aktemur</title>
      <description><![CDATA[ <p><span><strong>Barış Aktemur</strong> is an Assistant Professor of <a href="http://cs.ozyegin.edu.tr">Computer Science</a> at Özyeğin University. His&nbsp; research interests include runtime program generation, programming language design and semantics, static program analysis and transformation, software&nbsp;engineering and type theory. [<a href="http://faculty.ozyegin.edu.tr/aktemur" target="_blank">source</a>]</span></p><p><span>Here, Wolfram Schulte interviews Barış at ICSE 2011. Though the ambient lighting is poor, the conversation isn't! Sorry about that, but sometimes you get the lighting that's in the room (the ambient light monad) when you record videos with a handy-cam camera (my trusted old friend).</span><span></span></p><p>&nbsp;</p><p>&nbsp;</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:2a6473b482ed4e7ba19f9ef6017cf168">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Baris-Aktemur</comments>
      <itunes:summary> Barış Aktemur is an Assistant Professor of Computer Science at &#214;zyeğin University. His&amp;nbsp; research interests include runtime program generation, programming language design and semantics, static program analysis and transformation, software&amp;nbsp;engineering and type theory. [source] Here, Wolfram Schulte interviews Barış at ICSE 2011. Though the ambient lighting is poor, the conversation isn&#39;t! Sorry about that, but sometimes you get the lighting that&#39;s in the room (the ambient light monad) when you record videos with a handy-cam camera (my trusted old friend). &amp;nbsp; &amp;nbsp; </itunes:summary>
      <itunes:duration>855</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Baris-Aktemur</link>
      <pubDate>Thu, 07 Jul 2011 18:45:20 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Baris-Aktemur</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_2MB_ch9.wmv" expression="full" duration="855" fileSize="166969063" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_ch9.mp3" expression="full" duration="855" fileSize="6843999" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_ch9.wma" expression="full" duration="855" fileSize="6926193" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_ch9.wmv" expression="full" duration="855" fileSize="183066561" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_high_ch9.mp4" expression="full" duration="855" fileSize="377865553" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_low_ch9.mp4" expression="full" duration="855" fileSize="86502820" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur.ism/manifest" expression="full" duration="855" fileSize="8550" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/f168/2a6473b4-82ed-4e7b-a19f-9ef6017cf168/ICSE2011BarisAktemur_ch9.wmv" length="183066561" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>0</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Baris-Aktemur/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Engineering Practices</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World</title>
      <description><![CDATA[ <p><strong><a href="http://netfiles.uiuc.edu/dig/www/" target="_blank">Dr. Danny Dig</a></strong> is a Principal Investigator at the <a href="http://www.upcrc.illinois.edu/">Universal Parallel Computing Research&nbsp;Center</a>&nbsp;(UPCRC Illinois). UPCRC's stated mission is <em>to make parallel programming&nbsp;synonymous with programming.</em> Dr. Dig leads research on refactorings that retrofit parallelism into existing sequential code. How do you <span>retrofit </span>parallelism into a sequential world? Wolfram Schulte interviews Dr. Dig at <a href="http://2011.icse-conferences.org/" target="_blank">ICSE 2011</a> to find out... Tune in.</p><p>[My apologies for the poor lighting. The conversation, on the other hand, is very bright!]</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:ecb6a2703f4d405db13c9ef6017da3f9">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Danny-Dig</comments>
      <itunes:summary> Dr. Danny Dig is a Principal Investigator at the Universal Parallel Computing Research&amp;nbsp;Center&amp;nbsp;(UPCRC Illinois). UPCRC&#39;s stated mission is to make parallel programming&amp;nbsp;synonymous with programming. Dr. Dig leads research on refactorings that retrofit parallelism into existing sequential code. How do you retrofit parallelism into a sequential world? Wolfram Schulte interviews Dr. Dig at ICSE 2011 to find out... Tune in. [My apologies for the poor lighting. The conversation, on the other hand, is very bright!] </itunes:summary>
      <itunes:duration>1029</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Danny-Dig</link>
      <pubDate>Tue, 28 Jun 2011 18:35:14 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Danny-Dig</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_2MB_ch9.wmv" expression="full" duration="1029" fileSize="178462365" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_ch9.mp3" expression="full" duration="1029" fileSize="8233053" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_ch9.wma" expression="full" duration="1029" fileSize="8329063" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_ch9.wmv" expression="full" duration="1029" fileSize="214443601" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_high_ch9.mp4" expression="full" duration="1029" fileSize="430525227" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_low_ch9.mp4" expression="full" duration="1029" fileSize="102926264" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig.ism/manifest" expression="full" duration="1029" fileSize="8486" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/a3f9/ecb6a270-3f4d-405d-b13c-9ef6017da3f9/ICSE2011DannyDig_ch9.wmv" length="214443601" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>2</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Danny-Dig/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Microsoft Research</category>
      <category>MS Research</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Dieter Rombach - Software Engineering Process Methodology</title>
      <description><![CDATA[ <p><em><strong>Prof. Dr. Dieter Rombach</strong> studied mathematics and computer science at the universities of Karlsruhe and Kaiserslautern.&nbsp;Since 1992, he has held the chair for Software Engineering at the University of Kaiserslautern, and since 1996, he has&nbsp;&nbsp;been Executive Director of the Fraunhofer Institute for Experimental Software Engineering in Kaiserslautern (FhG IESE).&nbsp; From 1984-1991, he was Professor of Computer Science at the University of Maryland, and from 1986-1991 he was Project&nbsp;Manager at NASA/Goddard Space Flight Center.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</em></p><p><em>Prof. Rombach's main research topics can be found in the area of &quot;Software Engineering&quot;, especially in methods for developing software with predictable quality, in quantitative methods for measuring and assessing software products and software processes, in languages and methods for developing and using explicit software process models, in process-based software development environments as well as in software reuse. As a consultant, he works for various U.S. American and European companies.[<a href="http://wwwagse.informatik.uni-kl.de/staff/rombach/" target="_blank">source</a>]</em></p><p>Dr. Rombach currently leads both&nbsp;the Research Group for Software Engineering (<a href="/">AGSE</a>) and the&nbsp;Fraunhofer Institute for Experimental Software Engineering (<a href="http://www.iese.fhg.de">IESE</a>).</p><p><span>Here, Wolfram Schulte interviews Dr. Rombach at ICSE 2011. You'll get a high level overview of Dr. Rombach's work in designing and implementing scalable strategies and methodologies for controlling complexity and adding reliability to software development projects of any size and complexity. This is a very interesting and important aspect of the software engineering discipline. Dr. Rombach also enjoys the challenges of managing complexity in an entirely unrelated context. Tune in to find out what this may be...</span></p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:bf71f71b6faa4ab7b2379ef6017d5940">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Dieter-Rombach-Software-Engineering-Process-Methodology</comments>
      <itunes:summary> Prof. Dr. Dieter Rombach studied mathematics and computer science at the universities of Karlsruhe and Kaiserslautern.&amp;nbsp;Since 1992, he has held the chair for Software Engineering at the University of Kaiserslautern, and since 1996, he has&amp;nbsp;&amp;nbsp;been Executive Director of the Fraunhofer Institute for Experimental Software Engineering in Kaiserslautern (FhG IESE).&amp;nbsp; From 1984-1991, he was Professor of Computer Science at the University of Maryland, and from 1986-1991 he was Project&amp;nbsp;Manager at NASA/Goddard Space Flight Center.&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp; Prof. Rombach&#39;s main research topics can be found in the area of &amp;quot;Software Engineering&amp;quot;, especially in methods for developing software with predictable quality, in quantitative methods for measuring and assessing software products and software processes, in languages and methods for developing and using explicit software process models, in process-based software development environments as well as in software reuse. As a consultant, he works for various U.S. American and European companies.[source] Dr. Rombach currently leads both&amp;nbsp;the Research Group for Software Engineering (AGSE) and the&amp;nbsp;Fraunhofer Institute for Experimental Software Engineering (IESE). Here, Wolfram Schulte interviews Dr. Rombach at ICSE 2011. You&#39;ll get a high level overview of Dr. Rombach&#39;s work in designing and implementing scalable strategies and methodologies for controlling complexity and adding reliability to software development projects of any size and complexity. This is a very interesting and important aspect of the software engineering discipline. Dr. Rombach also enjoys the challenges of managing complexity in an entirely unrelated context. Tune in to find out what this may be... </itunes:summary>
      <itunes:duration>1638</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Dieter-Rombach-Software-Engineering-Process-Methodology</link>
      <pubDate>Thu, 23 Jun 2011 17:00:00 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Dieter-Rombach-Software-Engineering-Process-Methodology</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_2MB_ch9.wmv" expression="full" duration="1638" fileSize="390384665" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_ch9.mp3" expression="full" duration="1638" fileSize="13110045" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_ch9.wma" expression="full" duration="1638" fileSize="13258627" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_ch9.wmv" expression="full" duration="1638" fileSize="362639261" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_high_ch9.mp4" expression="full" duration="1638" fileSize="730812962" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_low_ch9.mp4" expression="full" duration="1638" fileSize="165716270" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach.ism/manifest" expression="full" duration="1638" fileSize="8566" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/5940/bf71f71b-6faa-4ab7-b237-9ef6017d5940/ICSE2011DieterRombach_ch9.wmv" length="362639261" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>1</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Dieter-Rombach-Software-Engineering-Process-Methodology/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Engineering Process Managament</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>Software Engineering</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Grigore Rosu - The Art and Science of Program Verification</title>
      <description><![CDATA[ <p><strong>Grigore Rosu</strong> is an associate professor in the <a title="http://cs.uiuc.edu" href="http://cs.uiuc.edu">Department of Computer Science</a> at the <a title="http://illinois.edu" href="http://illinois.edu">University of Illinois at Urbana-Champaign</a> (UIUC), where he leads the <a title="Formal Systems Laboratory" href="http://fsl.cs.uiuc.edu/index.php/Main_Page" target="_blank">Formal Systems Laboratory</a> (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods, software engineering, and programming languages. Before joining UIUC in 2002, he was a research scientist at <a title="http://www.nasa.gov/centers/ames/home/index.html" href="http://www.nasa.gov/centers/ames/home/index.html">NASA Ames</a>. He obtained his Ph.D. at the <a title="http://www.ucsd.edu" href="http://www.ucsd.edu">University of California at San Diego</a> in 2000 and his M.S. at the <a title="http://unibuc.ro" href="http://unibuc.ro">University of Bucharest</a>, Romania, in 1996. He was offered the CAREER award by the NSF and the outstanding junior award by the Computer Science Department at UIUC in 2005. He won an ACM SIGSOFT distinguished paper award at ASE 2008 as well as the best software science paper award at ETAPS 2002, and he was ranked a UIUC excellent teacher in Spring 2008 and Fall 2004. [<a href="http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu_-_Biography%2C_Curriculum_Vitae%2C_and_Research" target="_blank">source</a>]</p><p>Here, Wolfram Schulte and Grigore briefly discuss the potential of&nbsp;<a title="K" href="http://fsl.cs.uiuc.edu/index.php/K">K,</a>&nbsp;a term rewriting based executable semantic framework for defining programming languages,&nbsp;and <a title="Matching Logic" href="http://fsl.cs.uiuc.edu/index.php/Matching_Logic">Matching Logic</a>, an executable semantics framework yielding an alternative (to Hoare logic) program verification logic. It's another great conversation from <a href="http://channel9.msdn.com/Tags/icse&#43;2011" target="_blank">Channel 9's coverage of ICSE 2011</a>. Thanks to Wolfram and Grigore! Tune in.</p><p>&nbsp;</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:9a5a5321a3714d77b8aa9ef6017ccd83">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Grigore-Rosu-The-Art-and-Science-of-Program-Verification</comments>
      <itunes:summary> Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods, software engineering, and programming languages. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He obtained his Ph.D. at the University of California at San Diego in 2000 and his M.S. at the University of Bucharest, Romania, in 1996. He was offered the CAREER award by the NSF and the outstanding junior award by the Computer Science Department at UIUC in 2005. He won an ACM SIGSOFT distinguished paper award at ASE 2008 as well as the best software science paper award at ETAPS 2002, and he was ranked a UIUC excellent teacher in Spring 2008 and Fall 2004. [source] Here, Wolfram Schulte and Grigore briefly discuss the potential of&amp;nbsp;K,&amp;nbsp;a term rewriting based executable semantic framework for defining programming languages,&amp;nbsp;and Matching Logic, an executable semantics framework yielding an alternative (to Hoare logic) program verification logic. It&#39;s another great conversation from Channel 9&#39;s coverage of ICSE 2011. Thanks to Wolfram and Grigore! Tune in. &amp;nbsp; </itunes:summary>
      <itunes:duration>1069</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Grigore-Rosu-The-Art-and-Science-of-Program-Verification</link>
      <pubDate>Wed, 22 Jun 2011 14:00:00 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Grigore-Rosu-The-Art-and-Science-of-Program-Verification</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_2MB_ch9.wmv" expression="full" duration="1069" fileSize="139567979" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_ch9.mp3" expression="full" duration="1069" fileSize="8553836" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_ch9.wma" expression="full" duration="1069" fileSize="8656499" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_ch9.wmv" expression="full" duration="1069" fileSize="180923847" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_high_ch9.mp4" expression="full" duration="1069" fileSize="423685788" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_low_ch9.mp4" expression="full" duration="1069" fileSize="99119794" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu.ism/manifest" expression="full" duration="1069" fileSize="8534" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/cd83/9a5a5321-a371-4d77-b8aa-9ef6017ccd83/ICSE2011GrigoreRosu_ch9.wmv" length="180923847" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>3</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Grigore-Rosu-The-Art-and-Science-of-Program-Verification/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>software verification</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency Auto-Tuners</title>
      <description><![CDATA[ <p>Continuing on with our coverage of <a href="http://2011.icse-conferences.org/" target="_blank">ICSE 2011</a>, meet <strong><a href="http://www.victorpankratius.com" target="_blank">Dr. Victor Pankratius</a></strong>. Dr. Pankratius heads the Multicore Software Engineering&nbsp;investigator group at the Karlsruhe Institute of Technology, Germany. He also serves as the elected chairman of the <a href="http://www.multicore-systems.org/separs" target="_blank">Software Engineering for parallel Systems (SEPARS)</a> international working group. <a href="http://www.rz.uni-karlsruhe.de/~kb95/papers/Pankratius-SoftwareEngineeringInTheEraOfParallelism.pdf" target="_blank">Dr. Pankratius' current research</a> concentrates on how to make parallel programming easier. His work on multicore software engineering covers a range of research topics including empirical studies, auto-tuning, language design, and debugging.</p><p>In this video, Wolfram Schulte joins Victor to discuss the challenges of making concurrency easier for developers. One of the really interesting approaches that Victor and team are investigating is concurrency auto-tuning, and the example discussed here involve adding <a href="http://portal.acm.org/citation.cfm?doid=1531793.1531808" target="_blank">OS kernel-level support for auto-tuning user mode applications</a>&nbsp;for manycore processor architectures. This is very fascinating research with great potential. <span class="messageBody">Concurrency auto-tuner in an OS kernel? Concurrency-enlightened operating systems? Why not? Always great to meet young innovators with no fear of failure. I hope to see this type of thing materialize. Very interesting research and real world problem.&nbsp; Go Victor. Go!</span><br><br>Thanks to Wolfram and Victor for another great conversation. Tune in.</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:913e39dc09614fc38c909efa0183ac5c">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Victor-Pankratius-Developing-Manycore-Applications-with-Auto-Tuners</comments>
      <itunes:summary> Continuing on with our coverage of ICSE 2011, meet Dr. Victor Pankratius. Dr. Pankratius heads the Multicore Software Engineering&amp;nbsp;investigator group at the Karlsruhe Institute of Technology, Germany. He also serves as the elected chairman of the Software Engineering for parallel Systems (SEPARS) international working group. Dr. Pankratius&#39; current research concentrates on how to make parallel programming easier. His work on multicore software engineering covers a range of research topics including empirical studies, auto-tuning, language design, and debugging. In this video, Wolfram Schulte joins Victor to discuss the challenges of making concurrency easier for developers. One of the really interesting approaches that Victor and team are investigating is concurrency auto-tuning, and the example discussed here involve adding OS kernel-level support for auto-tuning user mode applications&amp;nbsp;for manycore processor architectures. This is very fascinating research with great potential. Concurrency auto-tuner in an OS kernel? Concurrency-enlightened operating systems? Why not? Always great to meet young innovators with no fear of failure. I hope to see this type of thing materialize. Very interesting research and real world problem.&amp;nbsp; Go Victor. Go!Thanks to Wolfram and Victor for another great conversation. Tune in. </itunes:summary>
      <itunes:duration>1155</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Victor-Pankratius-Developing-Manycore-Applications-with-Auto-Tuners</link>
      <pubDate>Mon, 20 Jun 2011 21:21:02 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Victor-Pankratius-Developing-Manycore-Applications-with-Auto-Tuners</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_2MB_ch9.wmv" expression="full" duration="1155" fileSize="235858943" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_ch9.mp3" expression="full" duration="1155" fileSize="9242257" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_ch9.wma" expression="full" duration="1155" fileSize="9350423" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_ch9.wmv" expression="full" duration="1155" fileSize="253484363" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_high_ch9.mp4" expression="full" duration="1155" fileSize="510196644" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_low_ch9.mp4" expression="full" duration="1155" fileSize="116822945" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius.ism/manifest" expression="full" duration="1155" fileSize="8614" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/ac5c/913e39dc-0961-4fc3-8c90-9efa0183ac5c/ICSE2011VictorPankratius_ch9.wmv" length="253484363" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>0</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Victor-Pankratius-Developing-Manycore-Applications-with-Auto-Tuners/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Concurrency</category>
      <category>Kernel</category>
      <category>Microsoft Research</category>
      <category>MS Research</category>
      <category>Operating System</category>
      <category>Programming</category>
      <category>RiSE</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History</title>
      <description><![CDATA[ <p>Meet &nbsp;<strong><a href="http://www.csl.sri.com/people/rushby/" target="_blank">Dr. John Rushby</a></strong>, a computer scientist who runs the <a href="http://www.csl.sri.com/programs/formalmethods/" target="_blank">Formal Methods group</a> within the <a href="http://www.csl.sri.com/" target="_blank">Computer Science Laboratory</a> at <a href="http://www.sri.com/" target="_blank">SRI International</a>. Dr. Rushby is a <em>legendary</em> 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!! <img src='http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9' alt='Smiley' /> Oh, and by the way, who invented the computer mouse, anyway? Are you sure?</p><p>Tune in. Enjoy.</p><p>Recently, I got to attend <a href="http://2011.icse-conferences.org/" target="_blank"><strong>ICSE 2011</strong> </a>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! <strong>Thank you</strong>, Wolfram!</p><p>&nbsp;</p><p>&nbsp;</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:3833757c23624f769da39ef6017d1dcd">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History</comments>
      <itunes:summary> Meet &amp;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&#39;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&amp;nbsp;in various areas of computer science and engineering. What a treat! Thank you, Wolfram! &amp;nbsp; &amp;nbsp; </itunes:summary>
      <itunes:duration>2166</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History</link>
      <pubDate>Wed, 15 Jun 2011 17:19:46 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_2MB_ch9.wmv" expression="full" duration="2166" fileSize="422647577" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_ch9.mp3" expression="full" duration="2166" fileSize="17334353" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_ch9.wma" expression="full" duration="2166" fileSize="17530313" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_ch9.wmv" expression="full" duration="2166" fileSize="475762427" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_high_ch9.mp4" expression="full" duration="2166" fileSize="958910070" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_low_ch9.mp4" expression="full" duration="2166" fileSize="219118429" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby.ism/manifest" expression="full" duration="2166" fileSize="8518" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/1dcd/3833757c-2362-4f76-9da3-9ef6017d1dcd/ICSE2011JohnRushby_ch9.wmv" length="475762427" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>3</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Expert to Expert</category>
      <category>RiSE</category>
      <category>software verification</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Conversation with Kumiyo Nakakoji</title>
      <description><![CDATA[ <p><em><strong><a href="http://www.icse-conferences.org/" target="_blank">ICSE, the International Conference on Software Engineering,®</a></strong>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.</em></p><p>Thankfully, I got to attend <a href="http://2011.icse-conferences.org/" target="_blank"><strong>ICSE 2011</strong> </a>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.</p><p><strong><a href="http://www.sra.co.jp/ktl/kumiyo_nakakoji/index-en.html" target="_blank">Kumiyo Nakakoji</a></strong>, 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. <br><br>Dr. Nakakoji gave the Day 1 keynote at ICSE 2011, &quot;Interactivity, Continuity, Sketching &amp; Experience&quot;.&nbsp;The topic&nbsp;was design, both <em>designing</em> software(the world of making) and user-centric software <em>design</em>(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 tandem throughout the development lifecycle. Let's find out from Dr. Nakakoji why this is the case.</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:dcf61f53cd0a44dd9be09ef6017d05e2">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji</comments>
      <itunes:summary> ICSE, the International Conference on Software Engineering,&#174;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, &amp;quot;Interactivity, Continuity, Sketching &amp;amp; Experience&amp;quot;.&amp;nbsp;The topic&amp;nbsp;was design, both designing software(the world of making) and user-centric software design(the world of using).&amp;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&amp;nbsp;the overall user experience of the software. The best case scenario is one where designers and implementors/engineers work in tande</itunes:summary>
      <itunes:duration>1916</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji</link>
      <pubDate>Mon, 13 Jun 2011 19:08:45 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_2MB_ch9.wmv" expression="full" duration="1916" fileSize="409329437" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_ch9.mp3" expression="full" duration="1916" fileSize="15332507" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_ch9.wma" expression="full" duration="1916" fileSize="15502615" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_ch9.wmv" expression="full" duration="1916" fileSize="424032929" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_high_ch9.mp4" expression="full" duration="1916" fileSize="834714652" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_low_ch9.mp4" expression="full" duration="1916" fileSize="193812187" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji.ism/manifest" expression="full" duration="1916" fileSize="8582" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/05e2/dcf61f53-cd0a-44dd-9be0-9ef6017d05e2/ICSE2011KumiyoNakakoji_ch9.wmv" length="424032929" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>2</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Kumiyo-Nakakoji/rss</wfw:commentRss>
      <category>Design</category>
      <category>Expert to Expert</category>
      <category>Interaction design</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>ICSE 2011</category>
    </item>
  <item>
      <title>ICSE 2011: Conversation with Andreas Zeller</title>
      <description><![CDATA[ <p><em><strong><a href="http://www.icse-conferences.org/" target="_blank">ICSE, the International Conference on Software Engineering,®</a>&nbsp;</strong>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.</em></p><p>Thankfully, I got to attend <a href="http://2011.icse-conferences.org/" target="_blank"><strong>ICSE 2011</strong> </a>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. <br><br>In this video, we meet <strong><a href="http://www.st.cs.uni-saarland.de/zeller/" target="_blank">Andreas Zeller</a></strong>, the creator of <strong><a href="http://www.st.cs.uni-saarland.de/dd/" target="_blank">delta debugging</a></strong> and, in some sense, the world's preeminent debugger mind. His book, <em><a href="http://www.whyprogramsfail.com/" target="_blank">Why Programs Fail</a></em>, should be on the shelves (and not collecting dust, mind you!) of all software developers. Dr. Zeller is <strong><em>very</em></strong> passionate about the discipline of software engineering—the <em>craft</em> 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.</p><p>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 <img src='http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9' alt='Smiley' /></p><p>Enjoy.</p> <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Tags/icse+2011/RSS&WT.dl=0&WT.entryid=Entry:RSSView:b33d9e7ebc6a4cf99b349ef6017d3c00">]]></description>
      <comments>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller</comments>
      <itunes:summary> ICSE, the International Conference on Software Engineering,&#174;&amp;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&#39;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&#39;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. </itunes:summary>
      <itunes:duration>1474</itunes:duration>
      <link>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller</link>
      <pubDate>Wed, 08 Jun 2011 15:00:00 GMT</pubDate>
      <guid isPermaLink="false">http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller</guid>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_100_ch9.jpg" height="75" width="100"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_220_ch9.jpg" height="165" width="220"></media:thumbnail>
      <media:thumbnail url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_512_ch9.jpg" height="384" width="512"></media:thumbnail>
      <media:group>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_2MB_ch9.wmv" expression="full" duration="1474" fileSize="266640849" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_ch9.mp3" expression="full" duration="1474" fileSize="11796818" type="audio/mp3" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_ch9.wma" expression="full" duration="1474" fileSize="11930859" type="audio/x-ms-wma" medium="audio"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_ch9.wmv" expression="full" duration="1474" fileSize="309230277" type="video/x-ms-wmv" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_high_ch9.mp4" expression="full" duration="1474" fileSize="617687056" type="video/mp4" medium="video"></media:content>
        <media:content url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_low_ch9.mp4" expression="full" duration="1474" fileSize="149119050" type="video/mp4" medium="video"></media:content>
        <media:content url="http://smooth.ch9.ms/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller.ism/manifest" expression="full" duration="1474" fileSize="8566" type="video/x-ms-wmv" medium="video"></media:content>
      </media:group>      
      <enclosure url="http://ak.channel9.msdn.com/ch9/3c00/b33d9e7e-bc6a-4cf9-9b34-9ef6017d3c00/ICSE2011AndreasZeller_ch9.wmv" length="309230277" type="video/x-ms-wmv"></enclosure>
      <dc:creator>Charles</dc:creator>
      <itunes:author>Charles</itunes:author>
      <slash:comments>8</slash:comments>
      <wfw:commentRss>http://channel9.msdn.com/posts/ICSE-2011-Conversation-with-Andreas-Zeller/rss</wfw:commentRss>
      <category>Computer Science</category>
      <category>Debugging</category>
      <category>Expert to Expert</category>
      <category>Microsoft Research</category>
      <category>MS Research</category>
      <category>RiSE</category>
      <category>Software Engineering Research</category>
      <category>computer science</category>
      <category>ICSE 2011</category>
    </item>    
</channel>
</rss>