Francisco Heron de Carvalho Junior
DSc in Computer Science from the Federal University of Pernambuco, Recife, Brazil
Associate Professor, Department of Computing, Federal University of Ceará, Fortaleza, Brazil
Visiting researcher at Northeastern University, Boston, USA.
Main areas of interest: programming languages and high performance computing
Most recent project: http://www.hpcshelf.org
Heterogeneous computing resources, such as GPUs, TPUs, and FPGAs, are widely used to accelerate computations, or make them possible, in scientific/technical computing. We will talk about how loose addressing of heterogeneous computing requirements in programming language designs affects portability and modularity. We propose contextual types to answer the underlying research questions, where programs are typed by their execution platforms and Julia's multiple dispatch plays an essential role.