Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Programming for the web browser is a complex affair, in the same way that programming of early computers via assembly language was complex before the advent of higher-level languages such as FORTRAN and C. Today,…
With the cost to sequence a full human genome soon to fall below US$1,000, most people will have their DNA sequenced and stored in a database along with their medical records. The hardware revolution has…
Saikat Guha of Microsoft Research India and Stefan Savage of University of California, San Diego, discuss the latest attempts to pit software against software in the malware and spam wars. This Research in Focus session…
For decades, computer scientists have relied on steadily advancing hardware capabilities. Moore’s Law coupled with Dennard Scaling have improved von Neumann computing by many orders of magnitude. Notably, the underlying changes have been largely invisible…
