I am a compiler engineer
at AMD, working on the
AMD GPU backend of LLVM.
My previous experience as a
compiler engineer includes working on the
OCaml
compiler at
Jane Street
and GCC at
ARM.
Before that, I was a lecturer and a member of
the Theory Group
at the School of
Electronic Engineering and Computer Science, Queen Mary
University of London.
Before that, I was a researcher
in IBM T.J. Watson
Research Center.
I
studied Computer
Science in
Tel Aviv University.
Research Interests
- Program analysis, verification, and synthesis
- Shape analysis
- Compilers
- Feedback-direct optimizations
- Profiling and tracing
- Programming languages
- Parallel and concurrent programming
- Software engineering
- Abstract interpretation
- Theorem provers/decision procedures
- Transitive closure logics