Hans-J. Boehm
Location: (Palo Alto, CA)
Personal Research Web Page: http://www.hpl.hp.com/personal/Hans_Boehm
Keywords: parallel programming, threads, semantics, memory consistency, data races, data race detection, transactional memory, concurrency, memory model
Posted on: Wednesday, May 27th, 2009
Broad Research Area: Programming Languages / Compilers
Research Interests:
My goal is to simplify shared memory parallel programming, both by clarifying the basic rules governing programming with threads, and by improving the underlying facilities available to programmers. I recently led an effort to properly define shared memory semantics (i.e. define a concurrency memory model) for the C++0x draft standard. I’m trying to leverage that, and the related Java work that mostly preceded it, to address related but less well understood problems. These include issues related to the semantics for transactional memory, and simpler semantics for Java-like languages that currently attempt to give meaning to data races, but only with limited success. In the latter context, I have also recently become very interested in fast reliable data race detection, and variants of that problem.
Although a lot of my interest here is in getting the semantics right, the research questions tend to be closely tied to tricky implementation issues.
Contact Information:
email obfuscated - click to reveal (best)
(650)857-3406 (often works)
