Georgy Lukyanov

According to our database, Georgy Lukyanov authored at least 8 papers between 2017 and 2022.

Collaborative distances:

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

2022

Verified symbolic execution with Kripke specification monads (and no meta-programming).

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese

Proc. ACM Program. Lang., 2022

Public communication with externalities.

Georgy Lukyanov, Konstantin Shamruk, Tong Su, Ahmed Wakrim

Games Econ. Behav., 2022

2020

Formal Verification of Spacecraft Control Programs.

Georgy Lukyanov, Andrey Mokhov, Jakob Lechner

ACM Trans. Embed. Comput. Syst., 2020

2019

Selective applicative functors.

Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino

Proc. ACM Program. Lang., 2019

Formal verification of spacecraft control programs (experience report).

Andrey Mokhov, Georgy Lukyanov, Jakob Lechner

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers.

Andrey Mokhov, Georgy Lukyanov, Jakob Lechner

CoRR, 2018

Concurrency Oracles for Free.

Georgy Lukyanov, Andrey Mokhov

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

Language and hardware acceleration backend for graph processing.

Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew D. Brown

Proceedings of the 2017 Forum on Specification and Design Languages, 2017