Sasa Misailovic

From MaRDI portal
(Redirected from Person:2147198)



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
Continualization of probabilistic programs with correction
Programming Languages and Systems
2022-10-13Paper
AQUA: automated quantized inference for probabilistic programs2022-06-22Paper
Programming Unreliable Hardware
Foundations of Probabilistic Programming
2021-02-16Paper
Randomized accuracy-aware program transformations for efficient approximate computations
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2015-09-11Paper


Research outcomes over time


This page was built for person: Sasa Misailovic