Max Willsey
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 30
Publications (10 Years): 30
Publications
- Yisu Remy Wang, Max Willsey, Dan Suciu
- Yisu Remy Wang, Max Willsey, Dan Suciu
- Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
- Caleb Winston, Max Willsey, Luis Ceze
- Yisu Remy Wang, Max Willsey, Dan Suciu
- Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
- Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
- Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
- Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary TatlockRelational E-Matching. CoRR (2021)
- Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
- Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
- Douglas M. Carmean, Luis Ceze, Georg Seelig, Kendall Stewart, Karin Strauss, Max Willsey
- Max Willsey, Rokhini Prabhu, Frank Pfenning