Georgy Lukyanov

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Formal Verification

Publish Subscribe

Control Program

Data Acquisition

Top Venues

Proc. ACM Program. Lang.

ATAED@Petri Nets/ACSD

ACM Trans. Embed. Comput. Syst.

Games Econ. Behav.

Publications

Georgy Lukyanov, Konstantin Shamruk, Tong Su, Ahmed Wakrim
Public communication with externalities. Games Econ. Behav. 136 (2022)
Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese
Verified symbolic execution with Kripke specification monads (and no meta-programming). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Georgy Lukyanov, Andrey Mokhov, Jakob Lechner
Formal Verification of Spacecraft Control Programs. ACM Trans. Embed. Comput. Syst. 19 (5) (2020)
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Formal verification of spacecraft control programs (experience report). Haskell@ICFP (2019)
Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino
Selective applicative functors. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. CoRR (2018)
Georgy Lukyanov, Andrey Mokhov
Concurrency Oracles for Free. ATAED@Petri Nets/ACSD (2018)
Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown
Language and hardware acceleration backend for graph processing. FDL (2017)
Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown
Language and Hardware Acceleration Backend for Graph Processing. FDL (Selected Papers) (2017)