Selective applicative functors A Mokhov, G Lukyanov, S Marlow, J Dimino Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 18 | 2019 |
Verified symbolic execution with Kripke specification monads (and no meta-programming) S Keuchel, S Huyghebaert, G Lukyanov, D Devriese Proceedings of the ACM on Programming Languages 6 (ICFP), 194-224, 2022 | 6 | 2022 |
Language and hardware acceleration backend for graph processing A Mokhov, A De Gennaro, G Tarawneh, J Wray, G Lukyanov, S Mileiko, ... 2017 Forum on Specification and Design Languages (FDL), 1-7, 2017 | 5 | 2017 |
Formal verification of spacecraft control programs (experience report) A Mokhov, G Lukyanov, J Lechner Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 139-145, 2019 | 4 | 2019 |
Concurrency oracles for free G Lukyanov, A Mokhov International Workshop on Algorithms & Theories for the Analysis of Event …, 2018 | 3 | 2018 |
Formal Verification of Spacecraft Control Programs G Lukyanov, A Mokhov, J Lechner ACM Transactions on Embedded Computing Systems (TECS) 19 (5), 1-18, 2020 | 2 | 2020 |
Katamaran: semi-automated verification of ISA specifications S Keuchel, G Lukyanov, D Devriese Extended Abstract, 2020 | 2 | 2020 |
Language and hardware acceleration backend for graph processing A Mokhov, A Gennaro, G Tarawneh, J Wray, G Lukyanov, S Mileiko, ... Languages, Design Methods, and Tools for Electronic System Design: Selected …, 2019 | 1 | 2019 |
Formal verification of spacecraft control programs using a metalanguage for state transformers A Mokhov, G Lukyanov, J Lechner arXiv preprint arXiv:1802.01738, 2018 | 1 | 2018 |
Functional parser of Markdown language based on monad combining and monoidal source stream representation G Lukyanov, A Pelenitsin Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | 1 | 2018 |
Formal methods for spacecraft control programs G Lukyanov Newcastle University, 2022 | | 2022 |
Prototyping Resilient Processing Cores in Workcraft G Lukyanov, G De, A Mokhov, P Stankaitis, M Rykunov 2nd International Workshop on Resiliency in Embedded Electronic Systems, 2017 | | 2017 |