Adobe Research works to empower developers with new techniques for productive development of efficient, cross-platform applications. We research programming language techniques, compiler technologies, and scalable systems. Our scientists and engineers work on high performance domain-specific language compilers that make it easy to explore different optimization strategies across CPUs and GPUs on different platforms, and on new techniques based on program synthesis and program verification to assist programmers in developing correct, bug-free code.