CENTAUR Annual Meeting 2024

Tuesday August 27

8:30am-9:00am	Breakfast and Registration
9:00am-9:10am	Opening Remarks	Clark Barrett	Director of Centaur
Session I
9:10am-9:30am	Certified Machine Learning	Clark Barrett	Director of Centaur
9:30am-9:50am	Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers	Daniel Mendoza	PhD Student
9:50am-10:20am	Coffee break
Session II
10:20am-10:40am	Scalable Bit-Blasting with Abstractions	Aina Niemetz	Senior Research Scientist
10:40am-11:00am	Split Groebner Bases for Satisfiability Modulo Finite Fields	Alex Ozdemir	PhD Student
11:00am-11:20am	Efficiently Synthesizing Instruction Selection Rewrite Rules using SMT	Ross Daly	PhD Student
11:20am-11:50am	Coffee break
Session III
11:50am-12:05pm	Accessing Stanford Classes for Corporations	Matt Harvey	SCPD chief corporate engagement officer
12:05pm-12:35pm	Lightning Talks
12:35pm-2:20pm	Lunch and Poster Session
Session IV
2:20pm-2:40pm	Machine Assisted Theorem Proving	Leni Aniva	PhD Student
2:40pm-3:00pm	Automating Proofs in the Isabelle/HOL Proof Assistant	Hanna Lachnitt	PhD Student
3:00pm-3:30pm	Coffee break
Session V
3:30pm-3:50pm	Efficient SAT-Based Bounded Model Checking of Evolving Systems	Sophie Andrews	Recent MS Graduate
3:50pm-4:10pm	Towards Improved Stability for SMT Solvers	Daneshvar Amrollahi	PhD Student
4:10pm-4:15pm	Closing Remarks	Clark Barrett	Director of Centaur
Reception
4:30pm-6:00pm	Reception