Invited tutorial speakers

Loris D’Antoni, Loris D'Antoni, University of Wisconsin-MadisonUniversity of Wisconsin-Madison
The power of symbolic automata and transducers

 

 

 

 

 

 


Mayur Naik, University of PennsylvaniaMayur Naik, University of Pennsylvania
Maximum Satisfiability in Software Analysis: Applications and Techniques