Joe Hendrix

According to our database, Joe Hendrix authored at least 16 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Crux, a Precise Verifier for Rust and Other Languages.

Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb

CoRR, 2024

Macaw: A Machine Code Toolbox for the Busy Binary Analyst.

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

CoRR, 2024

2019

Dependently typed Haskell in industry (experience report).

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch

Proc. ACM Program. Lang., 2019

2016

Constructing Semantic Models of Programs with the Software Analysis Workbench.

Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013

SAW: the software analysis workbench.

Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2010

Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.

Joe Hendrix, Deepak Kapur, José Meseguer

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Linear Functional Fixed-points.

Nikolaj S. Bjørner, Joe Hendrix

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Decision Procedures for Equationally Based Reasoning

Joe Hendrix

PhD thesis, 2008

Order-sorted Equational Unification Revisited.

Joe Hendrix, José Meseguer

Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008

Combining Equational Tree Automata over AC and ACI Theories.

Joe Hendrix, Hitoshi Ohsaki

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

On the Completeness of Context-Sensitive Order-Sorted Specifications.

Joe Hendrix, José Meseguer

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Some Tools.

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

Proceedings of the All About Maude, 2007

The Maude Formal Tool Environment.

Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Propositional Tree Automata.

Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.

Joe Hendrix, José Meseguer, Hitoshi Ohsaki

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

A Sufficient Completeness Reasoning Tool for Partial Specifications.

Joe Hendrix, Manuel Clavel, José Meseguer

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005