log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: vZ - An Optimizing SMT Solver
James Parker
IRB 5237
Tuesday, September 10, 2019, 11:00 am-12:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL lunch discussing the paper "vZ - An Optimizing SMT Solver." Discussion will be led by James Parker.

Paper available here: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/nbjorner-nuz.pdf

Sign up to present here: https://docs.google.com/spreadsheets/d/1esCJhCvZibodZvHjnUlqrP71F9Vdo-UkpoGO3QwWRqE/edit?usp=sharing

This talk is organized by Sankha Narayan Guria