Preliminary Program

Wednesday, December 5

4:30PM-6:00PM

4:30-4:50 Explicit-state model checking vs Symbolic model checking
Tejas Mehta and Bhavin Gandhi

4:50-5:10 Pipelined Hardware Accelerated State checker
Mary Ellen Fuess

5:10-5:30 SAT-Based Non-preemptive Scheduler For Safety-Critical Systems
Christine Hang

5:30-6:00 Gleaming the Rubik's Cube: Searching for God's Number with Decision Procedures
Ahmed Abdelmeged, Max Bandazian and Stevie Strickland

Friday, December 7

3:30PM-5:00PM

3:30-3:50 Syntactic Characterization of Safety and Liveness in Branching Time
Christos Dimoulas

3:50-4:10 Benchmarking NICE Dags
Ben Chambers

4:10-4:30 Calling context graphs in a higher-order setting
Aaron Turon

4:30-4:50 Translation of LLVM to ACL2
Feng Zhou