Vadim Zaliva

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 7

Top Topics

Domain Specific Languages

Formal Semantics

Coloured Petri Nets

Top Venues

Proc. ACM Program. Lang.

Publications

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