Vadim Zaliva

16 papers B 1C 2Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
A CHERI C Memory Model for Verified Temporal Safety.
CPP
Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell
2024 — conf
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
ASPLOS (1)
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
2021 — —
HELIX: From Math to Verified Code.
Vadim Zaliva
2021 J jnl
Modular, compositional, and executable formal semantics for LLVM IR.
Proc. ACM Program. Lang.
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
2020 — conf
Research Report: Formally-Verified ASN.1 Protocol C-language Stack.
SP (Workshops)
Nika Pona, Vadim Zaliva
2020 — conf
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.
VSTTE
Vadim Zaliva, Ilia Zaichuk, Franz Franchetti
2019 J jnl
Where's the Rock: Using Convolutional Neural Networks to Improve Land Cover Classification.
Remote. Sens.
Helen Petliak, Corina Cerovski-Darriau, Vadim Zaliva, Jonathan Stock
2018 — conf
HELIX: a case study of a formal verification of high performance program generation.
FHPC@ICFP
Vadim Zaliva, Franz Franchetti
2017 J jnl
Constructing an orthonormal set of eigenvectors for DFT matrix using Gramians and determinants.
CoRR
Vadim Zaliva
2015 — conf
Passive user identification using sequential analysis of proximity information in touchscreen usage patterns.
ICMU
Vadim Zaliva, William Melicher, Shayan Saha, Joy Zhang
2014 Misc conf
Barometric and GPS altitude sensor fusion.
ICASSP
Vadim Zaliva, Franz Franchetti
2012 C conf
3D finger posture detection and gesture recognition on touch surfaces.
ICARCV
Vadim Zaliva
2012 C conf
Hamake: A Data Flow Approach to Data Processing in Hadoop.
CLOSER
Vadim Zaliva, Vladimir Orlov
2011 J jnl
Applying static code analysis to firewall policies for the purpose of anomaly detection
CoRR
Vadim Zaliva
2008 J jnl
Platform-Independent Firewall Policy Representation
CoRR
Vadim Zaliva
2007 J jnl
AccelKey Selection Method for Mobile Devices
CoRR
Vadim Zaliva