Matthew Weaver
Matthew Weaver
PhD Candidate in Computer Science, Princeton University
Verified email at cs.princeton.edu - Homepage
Title
Cited by
Cited by
Year
CertiCoq: A verified compiler for Coq
A Anand, A Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ...
The third international workshop on Coq for programming languages (CoqPL), 2017
802017
Automata Tutor and what we learned from building an online teaching tool
L D’Antoni, M Weavery, A Weinert, R Alur
Bulletin of EATCS 3 (117), 2015
112015
A constructive model of directed univalence in bicubical sets
MZ Weaver, DR Licata
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
92020
Finite inverse categories as signatures
D Tsementzis, M Weaver
arXiv preprint arXiv:1707.07339, 2017
32017
Unfolding folds
M Weaver, D Tsementzis
Preparation, 2017
22017
Certified code generation from CPS to C
OS Bélanger, MZ Weaver, AW Appel
preparation. https://www. cs. princeton. edu/~ appel/papers/CPStoC. pdf, 2019
12019
Bicubical Directed Type Theory
M Weaver
2018
The system can't perform the operation now. Try again later.
Articles 1–7