Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Wednesday, September 7 • 11:15 - 12:05
Testing and Verification Session
    See presentations
  • 11:15-11:40 Xiaojun Sun, Irina Ilioaea, Priyank Kalla and Florian Enescu. Finding Unsatisfiable Cores of a Set of Polynomials using the Groebner Basis Algorithm

  • 11:40-12:05 Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko and Michael Veksler. Using Graph-Based CSP to Solve the Address Translation Problem

Moderators
Speakers
avatar for Xiaojun Sun

Xiaojun Sun

University of Utah


Wednesday September 7, 2016 11:15 - 12:05
Grand Amphi Lascrosses building

Attendees (3)