Joe Hendrix

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 3

Top Topics

Functional Programming

Wide Acceptance

Logical Operations

Semantic Models

Top Venues

Proc. ACM Program. Lang.

Publications

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
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
Dependently typed Haskell in industry (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE (2016)
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
SAW: the software analysis workbench. HILT (2013)
Joe Hendrix, José Meseguer
Order-sorted Equational Unification Revisited. Electron. Notes Theor. Comput. Sci. 290 (2012)
Joe Hendrix, Deepak Kapur, José Meseguer
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP (2010)
Nikolaj Bjørner, Joe Hendrix
Linear Functional Fixed-points. CAV (2009)
Joe Hendrix, Hitoshi Ohsaki
Combining Equational Tree Automata over AC and ACI Theories. RTA (2008)
Joe Hendrix, José Meseguer
On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA (2007)
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
The Maude Formal Tool Environment. CALCO (2007)
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR (2006)
Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
Propositional Tree Automata. RTA (2006)
Joe Hendrix, Manuel Clavel, José Meseguer
A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA (2005)