Emery Berger
Location: (Amherst, MA)
Personal Research Web Page: http://www.cs.umass.edu/~emery
Keywords: Programming languages, runtime systems, operating systems, memory management, concurrency, scalability, security, reliability, resilient runtime systems, error tolerance, error detection, error correction, randomization
Posted on: Monday, May 9th, 2011
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Networks / Operating Systems, Programming Languages / Compilers, Software Engineering
Research Interests:
My interests span programming languages, runtime systems, and operating systems, with a particular focus on systems that transparently improve reliability, security, and performance.
* Reliability and Security
I am interested in systems that transparently improve the reliability and security of deployed systems. Examples of this work include systems that can survive bugs, or even repair themselves by fixing bugs automatically. One of these projects, DieHard, was the direct inspiration for Windows 7′s Fault-Tolerant Heap. Other related projects include Exterminator, Archipelago, and DieHarder. Ongoing work includes systems to protect applications from security attacks with low overhead, and high-performance information flow tracking (“tainting”) to track / prevent information leakage.
* Concurrency
I am interested in systems that improve the performance or correctness of concurrent applications running on multi-CPU / multicore computers. Examples of this work include Hoard, a scalable memory manager that is in use in a number of large commercial settings (e.g., British Telecom, Credit Suisse, Royal Bank of Canada, Cisco…), and Grace, a system that automatically eliminates concurrency errors like race conditions and deadlocks.
