Georgy Lukyanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2017–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | HASKELL | Formal verification of spacecraft control programs (experience report). | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
| 2017 | FDL | 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 |
| 2017 | FDL | 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 |