The message passing paradigm makes multithreaded programming safer. In this talk I’ll be trying to get to the bottom of message passing— finding low level primitives from which a variety of message queues or mailboxes may be built. I’ll make a few digressions into Haskell’s MVars …
On Wednesday, April 21st, 2010 at 7pm, Mark Roberts from Microsoft will talk about new C++0x features implemented in Visual Studio 2010.
Why wait for the C++ committee to finish the specification when you can enjoy much of the power of C++0x today! C++0x, the next …
Wednesday, March 17th, 2010 at Building 40/1450 (Steptoe), One Microsoft Way, Redmond, WA 98052, at 7pm.
Three short talks on Concurrency from Bartosz Milewski, George Reilly, and Max Wilson.
Microsoft TPS is …
January 21st, 2009 — Metaprogramming in D — Walter Bright
February 18th, 2009 — CCR: Concurrency and Coordination Runtime — Andreas Ulbrich
March 18th, 2009 — How Compilers Work — Walter Bright
April 15th, 2009 — Axum: The Language Of Agents — Artur Laksberg
May 20th, 2009 — Concurrency Runtime and Parallel Pattern Library — Dana Groff, Don McCrady, and …
read moreIn the D Programming Language it is possible for even mere mortals to write code that executes at compile-time. And the resulting code is generally even human readable! In this talk I’ll show some of the metaprogramming …
It’s a well known fact in C++ metaprogramming circles that it’s all based on functional programming. What else is based on functional programming? Haskell! I will go through functional features of Haskell, one by one, and …
After reading a bunch of papers about type systems that prevent data races in multithreaded programs, I asked myself the question: Short of a type system, can a clever methodology be used to prevent data races? It turns …
social
blogroll