PLSE Private Preprints Page

This page exists to share preprints with the group.

POPL ‘21

• Egg Team Fast and Extensible Equality Saturation

PLDI ‘19

• Relay Group et al. Undergrad A High-Level IR for Deep Learning

POPL ‘19

• Pavel Panchekha, Michael Ernst, Shoaib Kamil, and Zachary Tatlock. Modular Verification of Web Page Layout.
• Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, and Mooly Sagiv. Inferring Phase Invariants from Phase Sketches.