6 ms·
Tate's POPL 2009 talk is also a great intro and companion to Willsey's POPL 2021 talk. https://www.youtube.com/watch?v=LKELTEOFY-s https://www.youtube.com/watc
by ztatlock 6y ago
Tate's POPL 2009 talk is also a great intro and companion to Willsey's POPL 2021 talk.
https://www.youtube.com/watch?v=LKELTEOFY-s https://www.youtube.com/watch?v=LKELTEOFY-s
https://www.cs.cornell.edu/~ross/publications/eqsat/ https://www.cs.cornell.edu/~ross/publications/eqsat/
- verdverm 6y agoAnd the paper for reference https://arxiv.org/abs/2004.03082 https://arxiv.org/abs/2004.03082