Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Zachary Tatlock
Researcher
PaperEnumerating Hardware-Software Splits with Program RewritingAuthorship / preprint / 2020PaperEquality Saturation: A New Approach to OptimizationAuthorship / preprint / 2011PaperRelational E-MatchingAuthorship / preprint / 2022PaperSmall Proofs from Congruence ClosureAuthorship / preprint / 2022Paperegg: Fast and Extensible Equality SaturationAuthorship / preprint / 2020PaperQED at Large: A Survey of Engineering of Formally Verified SoftwareAuthorship / preprint / 2020PaperSynthesizing Structured CAD Models with Equality Saturation and Inverse TransformationsAuthorship / preprint / 2020