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 Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change
|13:30 - 14:15|
Benjamin ZornMicrosoft Research
|14:15 - 15:00|
Harry XuUniversity of California, Irvine