ACL2 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

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

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