Dynamic reconfiguration of CPU and WebSphere on IBM pSeries servers.
Experience with the architectural design of a modest product family.
Leveraging legacy codes to distributed problem-solving environments: a Web services approach.
A research C# compiler
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.