Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
I am interested in developing PL and systems techniques to solve real-world problems. In the past, I have designed and implemented static and dynamic techniques to find and fix “runtime bloat” that exists widely in object-oriented software. My recent interests center on (1) how to exploit language/compiler techniques to build scalable Big Data systems and (2) how to build Big Data systems to parallelize and scale sophisticated program analyses.
Mon 23 Oct
|13:30 - 14:15|
Benjamin ZornMicrosoft Research
|14:15 - 15:00|
Harry XuUniversity of California, Irvine