Skip to content
View ztatlock's full-sized avatar
165 followers · 39 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@uwplse @FPBench @raceconditionrunning @DistributedComponents @proofengineering @PNWPLSE @uwsampl @egraphs-good

Block or report ztatlock

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ztatlock/README.md

Howdy! 👋

I'm currently working on some new and continuing research projects:

  • egg: a new e-graph library for compiler optimizations and program synthesis
  • Titanic: a framework for analyzing floating point accuracy and number systems
  • Szalinski: a tool to decompile constructive solid geometry expressions to parameterized CAD programs (PLDI 2020)
  • TVM Relay: a functional compiler IR for machine learning compilers (MAPL 2018)
  • FPBench: benchmarks, compilers, and standards for the floating-point research community (NSV 2016, NSV 2020)
  • Herbie: a tool to automatically improve floating point accuracy (PLDI 2015, NSV 2020)

Some of our past research projects:

  • Reincarnate: a tool to decompile 3D triangle meshes to constructive solid geometry expressions (ICFP 2018)
  • Verdi and Verdi Raft: verifying implementations of distributed systems in Coq (PLDI 2015, CPP 2016)

Pinned Loading

  1. uwplse/incarnate-exploration-archive uwplse/incarnate-exploration-archive Public

    PL for 3D Printing

    OpenSCAD 6 1

  2. herbie-fp/herbie herbie-fp/herbie Public

    Optimize floating-point expressions for accuracy

    HTML 834 43

  3. uwplse/verdi uwplse/verdi Public

    A framework for formally verifying distributed systems implementations in Coq

    Rocq Prover 612 56

  4. FPBench/FPBench FPBench/FPBench Public

    A standard for floating point accuracy benchmarks

    Racket 55 19

  5. uwplse/herbgrind uwplse/herbgrind Public

    A Valgrind tool for Herbie

    C 97 8

  6. mwillsey/crossbot mwillsey/crossbot Public archive

    A slackbot to compete on mini crosswords (or any other daily challenge).

    Python 17 8