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

Achievements

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

Achievements

Achievement: 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

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 5 1

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

    Optimize floating-point expressions for accuracy

    HTML 774 33

  3. uwplse/verdi uwplse/verdi Public

    A framework for formally verifying distributed systems implementations in Coq

    Coq 591 56

  4. FPBench/FPBench FPBench/FPBench Public

    A standard for floating point accuracy benchmarks

    Racket 44 20

  5. uwplse/herbgrind uwplse/herbgrind Public

    A Valgrind tool for Herbie

    C 90 7

  6. mwillsey/crossbot mwillsey/crossbot Public archive

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

    Python 16 8