POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Artem Khyzha

Registered user since Sun 8 Nov 2020

Name:Artem Khyzha

Artem is an engineer in Architecture Formal team, where his mission is to extend the memory-model tools: that is, to model new features of the Arm architectures, study their impact on memory consistency and encode it in executable semantics. Artem got his PhD from IMDEA Software Institute and was a postdoctoral fellow at Tel Aviv University researching correctness and security of multicore programming.

Country:United Kingdom
Affiliation:Arm Ltd
Research interests:Memory models, Computer architecture, Multicore programming


Show activities from other conferences

Using general profile