Mon 8 Jan 2018 16:00 - 17:30 at Watercourt - Invited Tutorial by Mayur Naik Chair(s): Jens Palsberg

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
Invited Tutorial by Mayur NaikVMCAI at Watercourt
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
16:00
90m
Talk
Maximum Satisfiability in Program Analysis: Applications and Techniques
VMCAI
Mayur Naik University of Pennsylvania, Xujie Si University of Pennsylvania, Xin Zhang Massachusetts Institute of Technology, USA, Radu Grigore University of Kent