Vadim Zaliva

According to our database, Vadim Zaliva authored at least 15 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2021

HELIX: From Math to Verified Code.

Vadim Zaliva

PhD thesis, 2021

Modular, compositional, and executable formal semantics for LLVM IR.

Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2020

Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.

Vadim Zaliva, Ilia Zaichuk, Franz Franchetti

Proceedings of the Software Verification - 12th International Conference, 2020

Research Report: Formally-Verified ASN.1 Protocol C-language Stack.

Nika Pona, Vadim Zaliva

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019

Where's the Rock: Using Convolutional Neural Networks to Improve Land Cover Classification.

Helen Petliak, Corina Cerovski-Darriau, Vadim Zaliva, Jonathan Stock

Remote. Sens., 2019

2018

HELIX: a case study of a formal verification of high performance program generation.

Vadim Zaliva, Franz Franchetti

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2018

2017

Constructing an orthonormal set of eigenvectors for DFT matrix using Gramians and determinants.

Vadim Zaliva

CoRR, 2017

2015

Passive user identification using sequential analysis of proximity information in touchscreen usage patterns.

Vadim Zaliva, William Melicher, Shayan Saha, Joy Zhang

Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015

2014

Barometric and GPS altitude sensor fusion.

Vadim Zaliva, Franz Franchetti

Proceedings of the IEEE International Conference on Acoustics, 2014

2012

3D finger posture detection and gesture recognition on touch surfaces.

Vadim Zaliva

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Hamake: A Data Flow Approach to Data Processing in Hadoop.

Vadim Zaliva, Vladimir Orlov

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011

Applying static code analysis to firewall policies for the purpose of anomaly detection

Vadim Zaliva

CoRR, 2011

2008

Platform-Independent Firewall Policy Representation

Vadim Zaliva

CoRR, 2008

2007

AccelKey Selection Method for Mobile Devices

Vadim Zaliva

CoRR, 2007