Vadim Zaliva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | A CHERI C Memory Model for Verified Temporal Safety. | Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell |
| 2024 | ASPLOS | Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. | Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell |
| 2020 | SP | Research Report: Formally-Verified ASN.1 Protocol C-language Stack. | Nika Pona, Vadim Zaliva |
| 2018 | ICFP | HELIX: a case study of a formal verification of high performance program generation. | Vadim Zaliva, Franz Franchetti |
| 2014 | ICASSP | Barometric and GPS altitude sensor fusion. | Vadim Zaliva, Franz Franchetti |
| 2012 | CLOSER | Hamake: A Data Flow Approach to Data Processing in Hadoop. | Vadim Zaliva, Vladimir Orlov |
| 2012 | ICARCV | 3D finger posture detection and gesture recognition on touch surfaces. | Vadim Zaliva |