added Dr. Vijay Ganesh's talk
authorNaomi Koo <m3koo@uwaterloo.ca>
Sat, 19 Mar 2016 04:01:38 +0000 (00:01 -0400)
committerNaomi Koo <m3koo@uwaterloo.ca>
Sat, 19 Mar 2016 04:01:38 +0000 (00:01 -0400)
events.xml

index f0e57ff..214dc82 100644 (file)
@@ -5,6 +5,19 @@
 
 <!-- Winter 2016 -->
 
+<eventitem date="2016-03-23" time="6:00 pm" room="TBA"
+           title="SAT and SMT Solvers for Software Engineering and Security">
+  <short>
+    <p>A talk about SAT and SMT Solvers for Software Engineering and Security by Dr. Vijay Ganesh</p>
+  </short>
+  <abstract>
+    <p>
+Boolean SAT and SMT solvers increasingly play a central role in the construction of reliable and secure software, regardless of whether such reliability/security is ensured through formal methods, program analysis or testing. This dramatic influence of solvers on software engineering as a discipline is a recent phenomenon, largely attributable to impressive gains in solver efficiency and expressive power. Dr. Vijay Ganesh will motivate the need for SAT and SMT solvers, sketch out their research story thus far, and then describe his contributions to solver research. Specifically, he will talk about a SAT solver called MapleCMS, and a string SMT solver, called Z3str2, developed in his lab. He will also talk about real-world applications enabled by his solvers, and the techniques he developed that helped make them efficient.      
+</p>
+  </abstract>
+</eventitem>
+
+
 <eventitem date="2016-03-16" time="6:00 pm" room="MC3003"
            title="Git 102">
   <short>