Nobrainer: An Example-Driven Framework for C/C++ Code Transformations

Valeriy Savchenko, Konstantin Sorokin, Georgiy Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov, Alexander Volkov, Kwangwon Sun. Nobrainer: An Example-Driven Framework for C/C++ Code Transformations. In Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. Volume 11964 of Lecture Notes in Computer Science, pages 140-155, Springer, 2019. [doi]

Authors

Valeriy Savchenko

This author has not been identified. Look up 'Valeriy Savchenko' in Google

Konstantin Sorokin

This author has not been identified. Look up 'Konstantin Sorokin' in Google

Georgiy Pankratenko

This author has not been identified. Look up 'Georgiy Pankratenko' in Google

Sergey Markov

This author has not been identified. Look up 'Sergey Markov' in Google

Alexander Spiridonov

This author has not been identified. Look up 'Alexander Spiridonov' in Google

Ilia Alexandrov

This author has not been identified. Look up 'Ilia Alexandrov' in Google

Alexander Volkov

This author has not been identified. Look up 'Alexander Volkov' in Google

Kwangwon Sun

This author has not been identified. Look up 'Kwangwon Sun' in Google