Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Martin Vechev

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Partial-Coherence Abstractions for Relaxed Memory Models

ACM SIGPLAN Notices
2011English

Dynamic Synthesis for Relaxed Memory Models

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy