Algorithms for Geometric Paths and Related Problems

Interconnect Specialization for Addressing Data Movement Inefficiencies

Verification for working developers

Reliable Operation of Heterogeneous Systems: Challenges and Opportunities

When cognition works against us! Helping programmers reduce the cost of cognitive processes.

Optimization and Learning on Graphs