dvanhorn @ λ-calcul.us » Talks http://dvanhorn.lambda-calcul.us Research weblog for David Van Horn Tue, 03 May 2011 16:12:40 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Highlights from POPL 2011 http://dvanhorn.lambda-calcul.us/2011/01/31/highlights-from-popl-2011/ http://dvanhorn.lambda-calcul.us/2011/01/31/highlights-from-popl-2011/#comments Tue, 01 Feb 2011 00:28:10 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=365 Some of my personal highlights from POPL 2011 (in order of appearance):

[Keep in mind: I saw less than half the talks, so I'm sure I missed a lot of good work and if I didn't mention something here, it doesn't mean I didn't like it.]

I would have to say “Dynamic inference of static types for Ruby” stood out above the others. What a cool idea.

]]> http://dvanhorn.lambda-calcul.us/2011/01/31/highlights-from-popl-2011/feed/ 1 Abstracting Abstract Machines, Slides http://dvanhorn.lambda-calcul.us/2010/12/07/abstracting-abstract-machines-slides/ http://dvanhorn.lambda-calcul.us/2010/12/07/abstracting-abstract-machines-slides/#comments Tue, 07 Dec 2010 19:11:56 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=321 Slides from my ICFP talk.

]]> http://dvanhorn.lambda-calcul.us/2010/12/07/abstracting-abstract-machines-slides/feed/ 0 Wand Symposium and Festschrift: the Blog http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/ http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/#comments Tue, 15 Sep 2009 17:08:52 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=162 A new blog has been created for the Wand Symposium and Festschrift:

In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) or Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll update this blog with developments.

Most of the slides from MitchFest are now available, too.

]]> http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/feed/ 0 The Search for Clarity http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/ http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/#comments Fri, 28 Aug 2009 18:20:58 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=158 Slides from Mitch Wand’s keystone talk at the symposium in his honor. Required reading for any aspiring young scientist.

]]> http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/feed/ 0 Matthias Felleisen – Programming at NEU http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/ http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/#comments Fri, 30 Jan 2009 17:17:05 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=71 Matthias Felleisen will be speaking on 02/04/2009 at 11:45am at Northeastern University (first floor West Village H), hosted by the NU ACM chapter.

This talk will describe how the Northeastern University programming curriculum (especially CSU211/213/290 and CSU670) has evolved over the last few years and Dr. Felleisen’s role in this process. This will cover the history, the background, the connections, the context, the successes, and the failures. Dr. Felleisen will also sketch out what must be added to make this curriculum the best in the country so that we can prepare every single graduate for a life time of software creation.

http://acm.ccs.neu.edu/?q=node/664

http://acm.ccs.neu.edu/static/talks/nuACM-Spring09-Matthias.mp4

]]> http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/feed/ 0