Abstract: Data-intensive applications stress the memory hierarchy with unnecessary data movement and the need to integrate new storage technologies. My research addresses these challenges through two main approaches:...
Abstract: Data-intensive applications stress the memory hierarchy with unnecessary data movement and the need to integrate new storage technologies. My research addresses these challenges through two main approaches:...
Abstract: We solve the problem of automatically computing a new class of environment assumptions in two-player turn-based finite graph games which characterize an "adequate cooperation" needed from the environment to...
STARS is a national alliance focused on supporting underrepresented groups in computing. Come and learn how to get involved!