Zobrazeno 1 - 6
of 6
pro vyhledávání: '"de Medeiros, Markus"'
Autor:
de Medeiros, Markus, Naveed, Muhammad, Lepoint, Tancrede, Kahsai, Temesghen, Ravitch, Tristan, Zetzsche, Stefan, Joshi, Anjali, Tassarotti, Joseph, Albarghouthi, Aws, Tristan, Jean-Baptiste
Differential privacy (DP) has become the gold standard for privacy-preserving data analysis, but implementing it correctly has proven challenging. Prior work has focused on verifying DP at a high level, assuming the foundations are correct and a perf
Externí odkaz:
http://arxiv.org/abs/2412.01671
Autor:
Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars
Publikováno v:
Proc. ACM Program. Lang. 8, OOPSLA2, Article 313 (October 2024), 30 pages
We present Tachis, a higher-order separation logic to reason about the expected cost of probabilistic programs. Inspired by the uses of time credits for reasoning about the running time of deterministic programs, we introduce a novel notion of probab
Externí odkaz:
http://arxiv.org/abs/2405.20083
Autor:
Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars
Probabilistic programs often trade accuracy for efficiency, and thus may, with a small probability, return an incorrect result. It is important to obtain precise bounds for the probability of these errors, but existing verification approaches have li
Externí odkaz:
http://arxiv.org/abs/2404.14223
Localized solutions are known to arise in a variety of singularly perturbed reaction-diffusion systems. The Gierer-Meinhardt (GM) system is one such example and has been the focus of numerous rigorous and formal studies. A more recent focus has been
Externí odkaz:
http://arxiv.org/abs/2302.13815
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.