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

Conference Day
Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
Invited Tutorial by Mayur NaikVMCAI at Watercourt
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
16:00
90m
Talk
Maximum Satisfiability in Program Analysis: Applications and Techniques
VMCAI
Mayur NaikUniversity of Pennsylvania, Xujie SiUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent