Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 15:30 - 16:00 at Cavendish - WODA Chair(s): Jeff Huang, Ben Livshits

Jeff Huang is currently an Assistant Professor in the Department of Computer Science and Engineering at Texas A&M University. His research focuses on developing techniques and tools for improving software performance and reliability based on fundamental program analyses and programming language theory. His research has won awards including ACM SIGSOFT Outstanding Dissertation Award, SIGPLAN PLDI Distinguished Paper Award, SIGPLAN Research Highlights, Google Faculty Research Award, and NSF CAREER Award.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff Huang Texas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam Guyer Tufts University