Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Aleksandar Nanevski
Researcher
PaperVisibility Reasoning for Concurrent Snapshot AlgorithmsAuthorship / preprint / 2021PaperOn Algebraic Abstractions for Concurrent Separation LogicsAuthorship / preprint / 2021PaperDenotation of syntax and metaprogramming in contextual modal type theory (CMTT)Authorship / preprint / 2012PaperSpecifying and Verifying Concurrent Algorithms with Histories and SubjectivityAuthorship / preprint / 2014PaperHoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent ObjectsAuthorship / preprint / 2016PaperOperational Aspects of C/C++ ConcurrencyAuthorship / preprint / 2016