Over the past sixty years, Intelligent Machines (IM) have made great progress in playing games, tagging images in isolation, and recently making decisions for self-driving vehicles.
How should we organize research programs in computer science and technology?
The evolution of network switches has been driven primarily by performance.
The precise semantics of floating-point arithmetic programs depends on the execution platform, including the compiler and the target hardware. Platform dependencies are particularly pronounced for arithmetic-intensive scientific numeric programs and infringe on the highly desirable
In the past few years, high-level programming languages have played a key role in several networking platforms, by providing abstractions that streamline application development.
Programming Languages Seminar
In this talk I will discuss research advances that led to practical tools for automatically proving program termination and related properties, e.g. liveness.
In this talk we give a survey of solutions -- and especially, discuss the underlying design principles -- that we developed in recent years to achieve extremely high packet processing rates in commodity operating systems, for both bare metal and virtual machines.