Talk Author Index

TALK AUTHOR INDEX

Shortcuts: C D E G H J L M N O P R S

C
Chau, Cuong Kim	A Brief Introduction to Oracle’s Use of ACL2 Fourier Series Formalization in ACL2(r)
Coglio, Alessandro	Second-Order Functions and Theorems in ACL2
Cowles, John	Perfect Numbers in ACL2
D
Davis, Jared	Fix Your Types: A Datatype Definition Library for Unconditional Type Reasoning What's New in the Community Books
E
Ebergen, Jo	A Brief Introduction to Oracle’s Use of ACL2
G
Gamboa, Ruben	Perfect Numbers in ACL2
Greenstreet, Mark	Extending ACL2 with SMT Solvers
H
Hardin, David	Reasoning about LLVM code using Codewalker
Hunt, Warren	Fourier Series Formalization in ACL2(r)
J
Jain, Mitesh	Proving Skipping Refinement with ACL2s
L
Lee, Austin	A Brief Introduction to Oracle’s Use of ACL2
M
Manolios, Panagiotis	Proving Skipping Refinement with ACL2s
Matt Kaufmann And J Moore,	What's New in ACL2 Fourier Series Formalization in ACL2(r) Business Meeting
Moore, J Strother	Invited Talk: Lessons Learned over 45 Years in Theorem Proving Stateman: Using Metafunctions to Manage Large Terms Representing Machine States
N
Nadezhin, Dmitry	A Brief Introduction to Oracle’s Use of ACL2
O
O'Leary, John	Invited Talk: Verification in the Age of Integration
P
Peng, Yan	Extending ACL2 with SMT Solvers
R
Rager, David	A Brief Introduction to Oracle’s Use of ACL2
Rump Session,	R1 R4 R5 R2 R3
S
Selfridge, Ben	A Brief Introduction to Oracle’s Use of ACL2
Swords, Sol	Fix Your Types: A Datatype Definition Library for Unconditional Type Reasoning