Completion Date: June 2012
Keywords: C, CEAL, Self-adjusting, incremental computation, Static analysis, Compilation, Dynamic tracing
Personal Web Page: http://mpi-sws.org/~hammer
My main research project is CEAL, a C-based language for self-adjusting computation.
Self-adjusting computation is a programming language-based technique for systematically describing programs that consume and produce dynamically-changing data.
My current research focuses on providing programmers with compiler and run-time tools that give a self-adjusting semantics to a familiar imperative language (namely, C). This work includes both a practical implementation, as well as a formal semantics and proofs that our techniques are “correct”.
More broadly, I’m interested in building programming language tools, as well as formally reasoning about the correctness of such tools. I’m particularly interested in building and reasoning about systems where computation and data “evolve” together over time (e.g., as in interactive systems).
E-Mail: EMAIL OBFUSCATED
Phone: +49 631 9303-9619