I agree that this site is using cookies. You can find further informations here.
X
Willsey, Max
4  results:
Bookchapter (Online) X
Search for persons X
?
1

Small Proofs from Congruence Closure:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Flatt, Oliver ; Coward, Samuel ; Willsey, Max.. - p. 75-83 , 2022
Link: https://doi.org/10.34727..
 
?
2

Synthesizing structured CAD models with equality saturation..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Nandi, Chandrakana ; Willsey, Max ; Anderson, Adam... - p. 31-44 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Scaling Microfluidics to Complex, Dynamic Protocols: Invite..:

, In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD),
Willsey, Max ; Stephenson, Ashley ; Takahashi, Chris... - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
?
4

Puddle : A Dynamic, Error-Correcting, Full-Stack Microfl..:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,
Willsey, Max ; Stephenson, Ashley P. ; Takahashi, Chris... - p. 183-197 , 2019
Link: https://dl.acm.org/doi/1..
 
1-4