My primary research area is static analysis of higher-order programs. My broader interests include language design, compiler implementation, security, program optimization, parallelism and program verification. I run the U Combinator software systems research group.
No comments:
Post a Comment