Peter Lee @ December 16, 2008 # No Comment Yet
Two papers by Carnegie Mellon researchers were recognized as being among the most important contributions in operating systems research. The recognition, called the SIGOPS Hall of Fame Award, is announced annually at one of the two major symposia in OS research, either SOSP or OSDI, to the most influential peer-reviewed research papers that appeared at […]
Peter Lee @ December 2, 2008 # One Comment
Just seen on the CRA Computing Research Policy Blog, but worth repeating here. Shown at the 26th Army Science Conference, this video explains the importance of basic long-term research to the national defense.
Peter Lee @ November 25, 2008 # No Comment Yet
The “Computing Research Highlight of the Week” is a new feature of the CCC web site, designed to expose more exciting research in computing to key policymakers and the public at large. This week, work by James Hays and Alexei Efros on estimating the geolocation of photographs via data mining is being highlighted.
I think this […]
Peter Lee @ November 18, 2008 # 2 Comments
The current issue of ScienceNews has an interesting article on computer-assisted checking of mathematical proofs. The article explains the issue of how to verify that a proof is correct — an issue that has become increasingly important in mathematics, given the rise of extremely large proofs such as Andrew Wiles’ proof of Fermat’s Last Conjecture.
Proof-checking […]
Peter Lee @ November 16, 2008 # No Comment Yet
Almost exactly one year ago we started an initiative with Yahoo! to test-pilot one of their large computing clusters. Well, it has been a very busy year. This past week a review was conducted of our use of the Yahoo! M45 cluster and, in a nutshell, it has proven to be really valuable. In talking […]
Peter Lee @ November 8, 2008 # No Comment Yet
Ed Clarke, winner of the 2007 Turing Award, published the initial paper on model checking with E. Allen Emerson in a volume of Lecture Notes in Computer Science (LNCS). But Ed’s publications with LNCS didn’t stop there. In fact, Ed published 85 papers in LNCS, totalling 1,060 pages! Well, in a very nice gesture, LNCS […]
Peter Lee @ October 22, 2008 # 2 Comments
The Alice Project, which was started by Randy Pausch, is a few weeks into its alpha test of the 3.0 version of the Alice system. This is the version that will incorporate the technology of The Sims, essentially enabling students to build Sims-inhabited interactive virtual worlds while learning Java programming. There are special “Alice sections” […]
Peter Lee @ September 12, 2008 # 2 Comments
The cover article for the current (October September 12, 2008) issue of Science features reCAPTCHA! The article, authored by Luis von Ahn, Benjamin Maurer, Colin McMillen, David Abraham, and Manuel Blum, presents the scientific principles underlying reCAPTCHA, along with some of the engineering challenges.
It’s a real accomplishment for any scientist to get a research article […]
Peter Lee @ September 11, 2008 # No Comment Yet
Well, it’s been over a week since I last wrote, and a huge amount has happened. So I have a major backlog of stories to post. I think I should be able to catch up by posting one or two a day for the next handful of days, so let’s start.
Abe Othman has gone live […]
Peter Lee @ August 28, 2008 # No Comment Yet
The CMU-developed Perspectives security add-on for the Firefox web browser has made national news this week, hitting the AP, the San Francisco Chronicle, the BBC, and many other major media outlets, as well as tons of online sites, including Slashdot, CNET, and Ars Technica. The system was developed by Dan Wendlandt and Ethan Jackson (Carnegie […]