Colin Knizek

Identifiers

• name variant Colin Knizek 0.60 · backfill

Papers (1)

1. Scaling Program Synthesis Based Technology Mapping with Equality Saturation cs.PL · 2024 · author #2

Mentions

• 2411.11036 #2 · arxiv_oai · confidence 0.70 Colin Knizek

Frequent Coauthors

• Chandrakana Nandi 1 shared papers
• Daniel Petrisko 1 shared papers
• Gilbert Louis Bernstein 1 shared papers
• Gus Henry Smith 1 shared papers
• Haobin Ni 1 shared papers
• Jonathan Balkind 1 shared papers
• Zachary Tatlock 1 shared papers