Talk Author Index

TALK AUTHOR INDEX

Shortcuts: C D G H J K M O P R S U X

C
Chamarthi, Harsh Raju	Data Definitions in ACL2 Sedan
Cowles, John	Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis On Vickrey's Theorem and the Use of ACL2 for Formal Reasoning in Economics
D
Davis, Jared	Industrial-Strength Documentation for ACL2
Davis, Jennifer	Development of a Translator from LLVM to ACL2
Dillinger, Peter	Data Definitions in ACL2 Sedan
G
Gamboa, Ruben	Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis On Vickrey's Theorem and the Use of ACL2 for Formal Reasoning in Economics
Gordon, Mike	Linking ACL2 and HOL: past achievements and future prospects
Greve, David	Development of a Translator from LLVM to ACL2
H
Hao, Kecheng	Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Hardin, David	Development of a Translator from LLVM to ACL2
Heras, Jónathan	ACL2(ml): Machine-Learning for ACL2
J
Joosten, Sebastiaan	Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
K
Kaliszyk, Cezary	Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
Kaufmann, Matt	Industrial-Strength Documentation for ACL2 Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Komendantskaya, Ekaterina	ACL2(ml): Machine-Learning for ACL2
M
Manolios, Panagiotis	Data Definitions in ACL2 Sedan
McClurg, Jedidiah	Development of a Translator from LLVM to ACL2
Moore, J	Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Myreen, Magnus	Machine-code verification: experience of tackling medium-sized case studies using 'decompilation into logic’
O
O'Leary, John	Modeling Algorithms in SystemC and ACL2
P
Puri, Disha	Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
R
Ray, Sandip	Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Russinoff, David	Modeling Algorithms in SystemC and ACL2
S
Selfridge, Benjamin	Polymorphic Types In ACL2 An ACL2 Mechanization of an Axiomatic Framework for Weak Memory
Smith, Eric	Polymorphic Types In ACL2
U
Urban, Josef	Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
X
Xie, Fei	Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis