Offers B.S., M.S., and Ph.D. degrees in computer science. Research interests include artificial intelligence, distributed systems, databases, high performance computing, human-computer interaction, and software engineering. On-line research papers ava...
Details on the reasons - some very subtle - why double-checked locking cannot be relied upon to be safe. Signed by a number of experts, including Sun engineers.
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.