Follow
Danya Lette
Danya Lette
PhD Student, University of Toronto
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
Recursion synthesis with unrealizability witnesses
A Farzan, D Lette, V Nicolet
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
182022
Commutativity for Concurrent Program Termination Proofs
D Lette, A Farzan
International Conference on Computer Aided Verification, 109-131, 2023
12023
Commutativity for concurrent program termination proofs (extended version)
D Lette, A Farzan
1
The system can't perform the operation now. Try again later.
Articles 1–3