Full Description
This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers.
After foundational Ph.D.