Personal information
Activities
Education and qualifications (2)
2016
to
present
|
PhD
(Computer Science)
Education
Source:
Max Willsey
2012
to
2016
|
BS
(School of Computer Science)
Education
Source:
Max Willsey
Works (17)
Proceedings of the ACM on Programming Languages
2023-10-16
|
Journal article
Contributors:
Anjali Pal;
Brett Saiki;
Ryan Tjoa;
Cynthia Richey;
Amy Zhu;
Oliver Flatt;
Max Willsey;
Zachary Tatlock;
Chandrakana Nandi
Source:
check_circle
Crossref
ACM Journal on Emerging Technologies in Computing Systems
2023-07-31
|
Journal article
Contributors:
Caleb Winston;
Max Willsey;
Luis Ceze
Source:
check_circle
Crossref
Proceedings of the ACM on Management of Data
2023-06-13
|
Journal article
Contributors:
Yisu Remy Wang;
Max Willsey;
Dan Suciu
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2023-06-06
|
Journal article
Contributors:
Yihong Zhang;
Yisu Remy Wang;
Oliver Flatt;
David Cao;
Philip Zucker;
Eli Rosenthal;
Zachary Tatlock;
Max Willsey
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2023-01-09
|
Journal article
Contributors:
David Cao;
Rose Kunkel;
Chandrakana Nandi;
Max Willsey;
Zachary Tatlock;
Nadia Polikarpova
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2022-01-16
|
Journal article
Contributors:
Yihong Zhang;
Yisu Remy Wang;
Max Willsey;
Zachary Tatlock
Source:
check_circle
Crossref
Proceedings of Machine Learning and Systems
2021
|
Conference paper
Source:
Max Willsey
Proceedings of the ACM on Programming Languages
2021-10-20
|
Journal article
Contributors:
Chandrakana Nandi;
Max Willsey;
Amy Zhu;
Yisu Remy Wang;
Brett Saiki;
Adam Anderson;
Adriana Schulz;
Dan Grossman;
Zachary Tatlock
Source:
check_circle
Crossref
Source:
Max Willsey
grade
Preferred source
(of
2)
IEEE Micro
2020
|
Journal article
Source:
Max Willsey
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
2020
|
Conference paper
Source:
Max Willsey
Proceedings of the
International Conference on Computer-Aided Design 2019
2019-11
|
Conference paper
Source:
Max Willsey
Source:
Max Willsey
Proceedings of the Twenty-Third International Conference on
Architectural Support for Programming Languages and Operating Systems
2019-04
|
Conference paper
Source:
Max Willsey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2019-03
|
Journal article
Contributors:
Max Willsey;
Vincent T. Lee;
Alvin Cheung;
Rastislav Bodik;
Luis Ceze
Source:
check_circle
Crossref
Proceedings of the IEEE
2019-01
|
Journal article
Contributors:
Douglas Carmean;
Luis Ceze;
Georg Seelig;
Kendall Stewart;
Karin Strauss;
Max Willsey
Source:
check_circle
Crossref
Electronic Proceedings in Theoretical Computer Science
2017-01
|
Journal article
Contributors:
Max Willsey;
Rokhini Prabhu;
Frank Pfenning
Source:
Max Willsey
via
Crossref Metadata Search