Luis Ceze

From MaRDI portal
Person:2828320



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Fridge compiler: optimal circuits from molecular inventories
Computational Methods in Systems Biology
2024-02-28Paper
Optimizing synthesis with metasketches
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2016-10-24Paper
The impact of memory models on software reliability in multiprocessors
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
2015-09-11Paper


Research outcomes over time


This page was built for person: Luis Ceze