Georgy Lukyanov

Orcid: 0009-0005-1672-610X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Verified symbolic execution with Kripke specification monads (and no meta-programming).
Proc. ACM Program. Lang., 2022

Public communication with externalities.
Games Econ. Behav., 2022

2020
Formal Verification of Spacecraft Control Programs.
ACM Trans. Embed. Comput. Syst., 2020

2019
Selective applicative functors.
Proc. ACM Program. Lang., 2019

Formal verification of spacecraft control programs (experience report).
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

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

Concurrency Oracles for Free.
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.
Proceedings of the 2017 Forum on Specification and Design Languages, 2017


  Loading...