CENTAUR Annual Meeting 2022

Paul Brest Hall
555 Salvatierra Walk
Stanford, CA 94305

Wednesday July 13

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 cvc5 Secrets Andrew Reynolds Research Scientist at University of Iowa
10:40am-11:00am Reasoning about Sequences Yoni Zohar Faculty at Bar-Ilan University
11:00am-11:20am Coffee break
Session III
11:20am-11:40am Murxla: A Modulor and Highly Extensible API fuzzer for SMT Solvers Aina Niemetz Research scientist
11:40am-12:00pm Lightning Talks
12:00pm-1:25pm Lunch and Poster Session
Session IV
1:25pm-1:40pm The Stanford LINX program Breauna Spencer DEI Director, Stanford Computer Science
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:50pm-4:10pm Reasoning about Strings Andres Noetzli Postdoctoral scholar
4:10pm-4:30pm Reasoning about Finite Fields Alex Ozdemir Phd student
4:30pm-4:35pm Closing Remarks Clark Barrett Director of Centaur