Pith. sign in

Researcher Evidence Record

Zachary Tatlock

This bounded record lists 22 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.PL, cs.DC, cs.GR work dated 2017 to 2023. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 22 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 0 of 22 papers carrying a current Pith review; presence, not outcome Sourced citations 5 of 22 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 8 fields (cs.PL, cs.DC, cs.GR, +5 more) · 2017-2023 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2023 Pith paper

    Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

    cs.HC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2023 Pith paper

    Generate Compilers from Hardware Models!

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2023 Pith paper

    Better Together: Unifying Datalog and Equality Saturation

    cs.PL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  4. 2022 Pith paper

    babble: Learning Better Abstractions with E-Graphs and Anti-Unification

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2022 Pith paper

    Small Proofs from Congruence Closure

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2022 Pith paper

    Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

    cs.AR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    12
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2021 Pith paper

    Rewrite Rule Inference Using Equality Saturation

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    9
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2021 Pith paper

    Relational E-Matching

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2021 Pith paper

    Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

    cs.GR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2021 Pith paper

    Co-Optimization of Design and Fabrication Plans for Carpentry

    cs.GR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2021 Pith paper

    Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2020 Pith paper

    Dynamic Tensor Rematerialization

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 2 pith inbound references from cited_work_pith_inbound_counts
  13. 2020 Pith paper

    Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2020 Pith paper

    egg: Fast and Extensible Equality Saturation

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2020 Pith paper

    QED at Large: A Survey of Engineering of Formally Verified Software

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2020 Pith paper

    Enumerating Hardware-Software Splits with Program Rewriting

    cs.DC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  17. 2019 Pith paper

    Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2019 Pith paper

    Relay: A High-Level Compiler for Deep Learning

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    10
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  19. 2018 Pith paper

    Relay: A New IR for Machine Learning Frameworks

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  20. 2018 Pith paper

    A Graphical Interactive Debugger for Distributed Systems

    cs.DC provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  21. 2018 Pith paper

    Combining Tools for Optimization and Analysis of Floating-Point Computations

    cs.PL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  22. 2017 Pith paper

    Finding Root Causes of Floating Point Error with Herbgrind

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Zachary Tatlock
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 22 of 22 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured zero 0 of 22 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 5 of 22 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 22 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Zachary Tatlock     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.PL12 rows
  • cs.DC2 rows
  • cs.GR2 rows
  • cs.LG2 rows
  • cs.AR1 rows
  • cs.DB1 rows
  • cs.HC1 rows
  • cs.LO1 rows
  • 20171 rows
  • 20183 rows
  • 20192 rows
  • 20205 rows
  • 20215 rows
  • 20223 rows
  • 20233 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.