Day 2: CENTAUR
AGENDA |
|||||
|---|---|---|---|---|---|
|
8:30am - 8:50am |
Breakfast and Registration |
||||
|
8:50am - 9:00am |
Opening Remarks |
Clark Barrett |
Director of Centaur |
||
Session I |
|||||
|
9:00am - 9:20am |
On the surprising usefulness of proofs |
Clark Barrett |
Faculty |
||
|
9:20am - 9:40am |
Scalable assurance via formal and verifiable security contracts |
Caroline Trippel |
Faculty |
||
|
9:40am - 10:00am |
Coffee break |
||||
Session II |
|||||
|
10:00am - 10:20am |
cvc5: a versatile and industrial-strength SMT solver |
Mathias Preiner |
Research scientist |
||
|
10:20am - 10:40am |
TBD |
TBD |
TBD |
||
|
10:40 - 11:00am |
Reasoning about finite fields |
Alex Ozdemir |
Phd student |
||
|
11:00am - 11:20am |
Coffee break |
||||
Session III |
|||||
|
11:20am-11:40am |
Murxla: an API fuzzer for SMT solvers |
Aina Niemetz |
Research scientist |
||
|
11:40am-12:00pm |
Lightning talks |
||||
|
12:00pm - 1:40pm |
Lunch and poster session |
||||
Session IV |
|||||
|
1:40pm - 2:00pm |
Pono: An SMT-based model checker |
Florian Lonsing |
Research scientist |
||
|
2:00pm - 3:00pm |
Automated reasoning: challenges and opportunities |
Industry Panel |
|||
|
3:00pm - 3:30pm |
Coffee break |
||||
Session V |
|||||
|
3:30pm - 3:50pm |
Parallel SMT solving |
Amalee Wilson |
PhD student |
||
|
3:50 - 4:10pm |
Reasoning about strings |
Andres Noetzli |
Postdoctoral scholar |
||
|
4:10pm - 4:30pm |
Reasoning about sequences |
Yoni Zohar |
Faculty at Bar-Ilan University |
||
|
4:30pm - 4:35pm |
Closing remarks |
Clark Barrett |
Director of Centaur |
||
