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.
Xianghao Xu, David Charatan, Sonia Raychaudhuri, Hanxiao Jiang, Mae Heitmann, Vladimir (Vova) Kim, Siddhartha Chaudhuri, Manolis Savva, Angel X. Chang, Daniel Ritchie
September 25, 2020Workshop on Online Misinformation and Harm-Aware Recommender Systems
Fredrik Kjølstad, Shoaib Kamil, Jonathan Ragan-Kelley, David Levin, Shinjiro Sueda, Desai Chen, Etienne Vouga, Danny Kaufman, Gurtej Kanwar, Wojciech Matusik, Saman Amarasinghe
April 18, 2016In Proceedings of the Eleventh European Conference on Computer Systems (Eurosys-2016)