Multiflow compiler

"The compiler was so robust, and so good at exposing ILP independent of the system it was targeted for, that after Multiflow closed, the compiler was licensed by many of the largest computer companies. It has been reported that this included Intel, Hewlett-Packard, Digital Equipment Corporation, Fujitsu, Hughes, HAL Computer Systems, and Silicon Graphics. Other companies known to have licensed the technology include Equator Technologies, Hitachi and NEC. Compilers built starting from that code base were used for advanced development and benchmark reporting for the most important superscalar processors of the 1990s. Descendants of the compiler were still in wide use 20 years after it first started generating correct code (notably, Intel's icc "Proton" compiler and the NEC Earth Simulator compiler), and are often used as benchmark targets for new compiler development. MIT and the University of Washington are among the universities that received and used the compiler for advanced research purposes."


source:  http://en.wikipedia.org/wiki/Multiflow#Innovative_software

Perl and undecidability

Interesting proof that I got to know of its existence very recently.

http://www.jeffreykegler.com/Home/perl-and-undecidability

Notably First Paper on Type Polymorphism

Robin Milner - Polymorphism (1977)



Reference Link: http://thomasfeng.com/papers/milner78theory.pdf

Tarski's influence on computer science

I wish I understand atleast half of THIS.

Women at Work

Ada Lovelace - World's First Programmer

Grace Hopper - World's First compiler developer

Just women :)

Game of Life

Conway's Game of Life

Note the section Algorithms.

Itanium Compiler - Perennial Wishlist

Knuth's interview: http://www.informit.com/articles/article.aspx?p=1193856


Donald: I don’t want to duck your question entirely. I might as well flame a bit about my personal unhappiness with the current trend toward multicore architecture. To me, it looks more or less like the hardware designers have run out of ideas, and that they’re trying to pass the blame for the future demise of Moore’s Law to the software writers by giving us machines that work faster only on a few key benchmarks! I won’t be surprised at all if the whole multithreading idea turns out to be a flop, worse than the "Itanium" approach that was supposed to be so terrific—until it turned out that the wished-for compilers were basically impossible to write.