Joe Hendrix

17 papers A* 1A 1B 2Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2024 J jnl
Crux, a Precise Verifier for Rust and Other Languages.
CoRR
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb
2024 J jnl
Macaw: A Machine Code Toolbox for the Busy Binary Analyst.
CoRR
Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor S. Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefanescu, Daniel Wagner, Simon Winwood
2019 J jnl
Dependently typed Haskell in industry (experience report).
Proc. ACM Program. Lang.
David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
2016 — conf
Constructing Semantic Models of Programs with the Software Analysis Workbench.
VSTTE
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
2013 — conf
SAW: the software analysis workbench.
HILT
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
2010 B conf
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
ITP
Joe Hendrix, Deepak Kapur, José Meseguer
2009 A* conf
Linear Functional Fixed-points.
CAV
Nikolaj S. Bjørner, Joe Hendrix
2008 — conf
Combining Equational Tree Automata over AC and ACI Theories.
RTA
Joe Hendrix, Hitoshi Ohsaki
2008 — —
Decision Procedures for Equationally Based Reasoning
Joe Hendrix
2008 — conf
Order-sorted Equational Unification Revisited.
RULE
Joe Hendrix, José Meseguer
2007 — conf
On the Completeness of Context-Sensitive Order-Sorted Specifications.
RTA
Joe Hendrix, José Meseguer
2007 — ch.
Some Tools.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007 B conf
The Maude Formal Tool Environment.
CALCO
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
2006 A conf
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
IJCAR
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
2006 — conf
Propositional Tree Automata.
RTA
Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
2005 — conf
A Sufficient Completeness Reasoning Tool for Partial Specifications.
RTA
Joe Hendrix, Manuel Clavel, José Meseguer