Avatar

Vito Kortbeek

Compiler Engineer

GlobalFoundries

Biography

I am a compiler engineer at GlobalFoundries, working on ASIP Designer’s extensively customized LLVM/Clang-based C/C++ compiler. My work spans the Clang front end, LLVM middle end, and custom backend tooling, with most of my work focused on analyses, transformations, and optimization-pipeline support. I am particularly interested in alias and memory-dependence analysis, code-restructuring transformations, and optimizations that take advantage of processor architecture.

Before joining GlobalFoundries, I worked on the same ASIP compiler technology at Synopsys until the business transferred in June 2026. The compiler dynamically supports processor targets generated from architecture descriptions, including RISC-V-based processors and highly specialized DSP architectures.

I completed my PhD at Delft University of Technology in 2023. My research focused on programmer-friendly intermittent computing and combined compiler transformations, processor architecture, and embedded systems. This work resulted in publications at PLDI, ASPLOS, and UbiComp.

Interests

  • Compiler Optimizations
  • Program Analysis
  • Processor Architectures
  • Intermittent Computing

Education

  • PhD, 2023

    Delft University of Technology

  • MSc in Embedded Systems, 2019

    Delft University of Technology

  • BSc in Electrical Engineering, 2015

    Amsterdam University of Applied Sciences (HBO)

Publications

[ASPLOS '25] Data Cache for Intermittent Computing Systems with Non-Volatile Main Memory

NACHO integrates write-after-read detection into a data cache and reduces intermittent-computing runtime overhead by 54% on average.

[PLDI '22] WARio: Efficient Code Generation for Intermittent Computing

Intermittently-operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors …

[IMWUT Dec. '20] BFree: Enabling Battery-free Sensor Prototyping with Python

Building and programming tiny battery-free energy harvesting embedded computer systems is hard for the average maker because of the …

[IMWUT Sept./UbiComp '20] Battery-Free Game Boy

We present ENGAGE, the first battery-free, personal mobile gaming device powered by energy harvested from the gamer actions and …

[ASPLOS '20] Time-sensitive Intermittent Computing Meets Legacy Software

Tiny energy harvesting sensors that operate intermittently, without batteries, have become an increasingly appealing way to gather data …

Contact