I am a computer scientist studying programming technology for data-processing, especially for deterministic data processing. My expertise is in all aspects of the programming-language implementation process, particularly for parallel and distributed languages. My previous work includes: (1) compilers for embedded architectures and GPU accelerators; (2) statically and dynamically-enforced deterministic execution of programs; and (3) low-overhead concurrent binary instrumentation, which can drive profiling and sandboxing.
Research Areas
- Programming Languages
- Systems and High Performance Computing
Projects
- System-level Determinism
- Lightweight binary-instrumentation
- Compiling code to work on serialized data
- LVars and LVish