Publications
Recent publications by group members.
- Beg, M, Belin, J, Kluyver, T, Konovalov, A, Ragan-Kelley, M, Thiery, N & Fangohr, H 2021, 'Using Jupyter for reproducible scientific workflows', Computing in Science and Engineering. https://doi.org/10.1109/MCSE.2021.3052101
- de Muijnck-Hughes, J, Vanderbauwhede, W & Brady, EC 2020, 'A Framework for Resource Dependent EDSLs in a Dependently-Typed Language'. https://doi.org/10.4230/LIPIcs.ECOOP.2020.20
- Brown, CM, Janjic, V, Barwell, AD, Thomson, JD, Castañeda Lozano, R, Cole, M, Franke, B, Garcia-Sanchez, JD, Del Rio Astorga, D & MacKenzie, K 2020, A hybrid approach to parallel pattern discovery in C++. in 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)., 9092377, Proceedings - Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society, 28th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Västerås, Sweden, 11/03/20. https://doi.org/10.1109/PDP50117.2020.00035
- Barwell, AD & Brown, CM 2020, A trustworthy framework for resource-aware embedded programming. in Proceedings of International Symposium on Implementation and Application of Functional Languages (IFL'19). ACM, The 31st symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, Singapore, 25/09/15. https://doi.org/10.1145/1122445.1122456
- Yu, T, Petoumenos, P, Janjic, V, Leather, H & Thomson, JD 2020, COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors. in J Mars, L Tang, J Xue & P Wu (eds), Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization (GCO 2020). International Symposium on Code Generation and Optimization, ACM, New York, pp. 268-279, International Symposium on Code Generation and Optimization (CGO 2020), San Diego, United States, 22/02/20. https://doi.org/10.1145/3368826.3377915
- Yu, T, Zhong, R, Janjic, V, Petoumenos, P, Zhai, J, Leather, H & Thomson, JD 2021, 'Collaborative heterogeneity-aware OS scheduler for asymmetric multicore processors', IEEE Transactions on Parallel and Distributed Systems, vol. 32, no. 5, pp. 1224-1237. https://doi.org/10.1109/TPDS.2020.3045279
- Kristien, M, Spink, T, Campbell, B, Sarkar, S, Stark, I, Franke, B, Böhm, I & Topham, N 2020, Fast and correct load-link/store-conditional instruction handling in DBT systems. in CASES '20: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems. vol. Early Access, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Computer Society, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '20), 20/09/20. https://doi.org/10.1109/TCAD.2020.3013048
- Yu, T, Zhao, W, Liu, P, Janjic, V, Yan, X, Wang, S, Fu, H, Yang, G & Thomson, JD 2020, 'Large-scale automatic k-means clustering for heterogeneous many-core supercomputer', IEEE Transactions on Parallel and Distributed Systems, vol. 31, no. 5, pp. 997-1008. https://doi.org/10.1109/TPDS.2019.2955467
- Brown, CM, Janjic, V, Goli, M & McCall, J 2020, 'Programming heterogeneous parallel machines using refactoring and Monte-Carlo tree search', International Journal of Parallel Programming, vol. 48, no. 4, pp. 583–602. https://doi.org/10.1007/s10766-020-00665-z
- Brown, CM, Janjic, V, Barwell, AD, Garcia, JD & MacKenzie, K 2020, 'Refactoring GrPPI: generic refactoring for generic parallelism in C++', International Journal of Parallel Programming, vol. First Online. https://doi.org/10.1007/s10766-020-00667-x
- Brown, CM, Barwell, AD & Janjic, V 2020, 'Restoration of legacy parallelism in C and C++ applications', Paper presented at 13th International Symposium on High-Level Parallel Programming and Applications (HLPP 2020) Porto, Portugal July 9-10, 2020, 9/07/20 - 10/07/20.
- Janjic, V, Kuster Filipe Bowles, J, Vermeulen, AF, Silvina, A, Belk, M, Fidas, C, Pitsillides, A, Kumar, M, Rossborry, M, Vinov, M, Given-Wilson, T, Legay, A, Blackledge, E, Arredouani, R, Stylianou, G & Huang, W 2020, The SERUMS tool-chain: ensuring security and privacy of medical data in smart patient-centric healthcare systems. in Proceedings 2019 IEEE International Conference on Big Data., 9005600, IEEE International Conference on Big Data, IEEE Computer Society, pp. 2726-2735, IEEE Big Data 2019, Los Angeles, United States, 9/12/19. https://doi.org/10.1109/BigData47090.2019.9005600
- Swan, J, Adriænsen, S, Barwell, AD, Hammond, K & White, D 2019, 'Extending the ‘Open-Closed Principle’ to automated algorithm configuration', Evolutionary Computation, vol. 27, no. 1, pp. 173-193. https://doi.org/10.1162/evco_a_00245
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.10.1, 2019, Software. <https://www.gap-system.org/Releases/4.10.1.html>
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.10.2, 2019, Software. <https://www.gap-system.org/Releases/4.10.2.html>
- Konovalov, A & Torpey, MC 2019, 'How to learn GAP - an open source software system for discrete computational mathematics', School of Mathematics and Statistics Research Day, St Andrews, 24/01/19 - 24/01/19. <https://doi.org/10.6084/m9.figshare.7623872.v1>
- Chasparis, G, Rossbory, M, Janjic, V & Hammond, K 2019, Learning-based dynamic pinning of parallelized applications in many-core systems. in Proceedings 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2019)., 8671569, Institute of Electrical and Electronics Engineers Inc., 27th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), Pavia, Italy, 13/02/19. https://doi.org/10.1109/EMPDP.2019.8671569
- Baker, J, Erdmann, C, Dennis, T, Heggø, DM, Leinweber, K, [Unknown], H, Capes, G, [Unknown], J, Oliver, J, Duckles, J, [Unknown], B, Mendes, A, Conrado, AC, Weaver, B, Williamson, E, Lessing, I, Marwaha, K, Lascarides, M, Hayslett, M, Lilleberg, T, Devenyi, G, Srinath, A, [Unknown], C, Silva, R, [Unknown], C, Becker, EA, Emonet, R, Sauze, C, Jankowski, E, Guillou, S, Szamosi, JC, Srinath, A, Bryk, J, Burle, M-H, Lim, M, Leak, S, Mentzel, C, Buckley, KM, [Unknown], L, Robinson, M, Feller, M, Fritz, M, Soranzo, N, Ullah, R, Steltenpool, R, Mey, Y, Kassil, A, Morley, A, Denisenko, E, Burns, H, Burkhardt, H, Williams, J, Macklin, J, shaikh, R, Mellan, T, Huffman, A, Konovalov, A, Reid, A, McRae, ATT, Rokem, A, Atmaja, BT, Bolker, B, Gabriel, B, Ballsun-Stanton, B, Bridges, D, McKain, D, Lituiev, D, [Unknown], E, [Unknown], E, Shamma, F, Profiti, G, Linde, IVD, Rantaharju, J, Guelfi, J, Pellman, J, Gouw, M, Zingale, M, Henry, M, Oneka, M, Hoggett, M, Barral, N, Brenowitz, ND, Kaluza, O, McCann, P, Hoyt, P, [Unknown], S, Schmeing, S, Jones, S, Miller, SJ, Dowrick, T, Koppejan, V & Chhatre, V 2019, LibraryCarpentry/lc-shell: Library Carpentry: Introduction to the Shell for librarians, June 2019.. https://doi.org/10.5281/zenodo.3266085
- Yu, T, Petoumenos, P, Janjic, V, Zhu, M, Leather, H & Thomson, JD 2019, POSTER: A collaborative multi-factor scheduler for asymmetric multicore processors. in Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques (PACT 2019)., 8891662, International Conference on Parallel Architectures and Compilation Techniques, IEEE Computer Society, pp. 486-487, 28th International Conference on Parallel Architectures and Compilation Techniques, Seattle, United States, 21/09/19. https://doi.org/10.1109/PACT.2019.00058
- Jadhav, S, Roth, M, Falk, H, Brown, CM & Barwell, AD 2019, Reasoning about non-functional properties using compiler intrinsic function annotations. in Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing. INP ENSEEIHT/IRIT, pp. 25-28, 13th Junior Researcher Workshop on Real-Time Computing. JRWRTC, Toulouse, France, 6/11/19.
- Janjic, V, Bowles, J, Belk, M & Pitsillides, A 2019, Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems. in ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, Inc, New York, pp. 213-214, 27th ACM International Conference on User Modeling, Adaptation and Personalization, UMAP 2019, Larnaca, Cyprus, 9/06/19. https://doi.org/10.1145/3314183.3326364
- Brown, CM, Barwell, AD, Marquer, Y, Minh, C & Zendra, O 2019, Type-driven verification of non-functional properties. in Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (PPDP '19)., 6, ACM, New York, pp. 1-15, 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), Porto, Portugal, 7/10/19. https://doi.org/10.1145/3354166.3354171
- de Muijnck-Hughes, J, Brady, EC & Vanderbauwhede, W 2019, Value-dependent session design in a dependently typed language. in F Martins & D Orchard (eds), Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Prague, Czech Republic, 7th April 2019. Electronic Proceedings in Theoretical Computer Science, vol. 291, Open Publishing Association, pp. 47-59, Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES 2019)
, Prague, Czech Republic, 7/04/19. https://doi.org/10.4204/EPTCS.291.5 - Vendramin, L & Konovalov, A, YangBaxter - Combinatorial Solutions for the Yang-Baxter equation, Version 0.7.0 (GAP package), 2019, Software, GitHub. https://doi.org/10.5281/zenodo.2576005
- Wilson, G, Capes, G, Devenyi, GA, Koch, C, Silva, R, Srinath, A, Morris, C, Jackson, M, Boughton, A, Emonet, R, Gacenga, F, Nederbragt, L, [Unknown], C, Irving, D, Becker, EA, Deniz, F, Stimberg, M, Beagrie, RA, McCloy, D, Soranzo, N, Ross, N, Srinath, A, Sauze, C, Michonneau, F, Marwaha, K, Guillou, S, Magle, T, Jankowski, E, White, EP, Blischak, J, Fernandes, F, Bekolay, T, Szamosi, JC, Gray, N, Hagh, VF, Baird, D, Lang, D, Belikov, E, Bryk, J, Chung, K, Sadjadi, M, Burle, M-H, Lim, M, Barmby, P, Leak, S, Mentzel, C, Standage, D, Eyers, D, Attali, D, Nielsen, DM, Winston, D, Simpson, J, Duckles, J, Madin, J, Buckley, KM, [Unknown], L, Robinson, M, Feller, M, Fritz, M, Gardner, P, Steinbach, P, Ullah, R, Steltenpool, R, [Unknown], S, Mey, Y, Kassil, A, Mac, A, Morley, A, Telenczuk, B, Brunson, D, [Unknown], D, Denisenko, E, Dolson, E, Burns, H, Burkhardt, H, Alexander, H, Fontenelle, H, Schyndel, JV, vdL, J, Williams, J, Leinweber, K, Zamparo, L, Macklin, J, Buske, O, shaikh, R, Brase, R, Mellan, T, Huffman, A, Orr, AJ, Richie-Halford, A, [Unknown], A, Konovalov, A, Keener, A, Brown, A, Bedini, A, Reid, A, McRae, ATT, Walker, A, Rokem, A, Sobhani, A, Atmaja, BT, Bolker, B, Gabriel, B, Seyffert, B, Mills, B, Ballsun-Stanton, B, [Unknown], B, Marini, C, Jones, D, Bridges, D, McKain, D, Vollmer, D, Lituiev, D, Latornell, D, [Unknown], E, [Unknown], E, McTavish, EJ, Shamma, F, Profiti, G, Linde, IVD, Mensa, IA, Rantaharju, J, Milhans, J, Guelfi, J, Kim, JT, Pellman, J, Blin, K, Keipert, K, Palamartchouk, K, Noga, K, Carlise, M, Gouw, MR, Mandel, M, Gidden, M, Peterson, M, Doyle, M, Zingale, M, Henry, M, Oneka, M, Hoggett, M, Barral, N, Brenowitz, ND, [Unknown], N, Kaluza, O, McCann, P, Doehle, P, Hoyt, PR, Lijnzaad, P, Banaszkiewicz, P, Mount, S, Simpkin, S, Ritchie, S, [Unknown], S, Schmeing, S, Jones, S, Turner, S, Miller, S, Keighley, T, Keighley, T, Dowrick, T, Koppejan, V & Chhatre, V 2019, swcarpentry/shell-novice: Software Carpentry: the UNIX shell, June 2019.. https://doi.org/10.5281/zenodo.3266823
- Castro, D, Hammond, K, Sarkar, S & Alguwaifli, Y 2018, 'Automatically deriving cost models for structured parallel processes using hylomorphisms', Future Generation Computer Systems, vol. 79, no. Part 2, pp. 653-668. https://doi.org/10.1016/j.future.2017.04.035
- Yehudi, Y, Aragon, S & Konovalov, A 2018, 'Code is science manifesto', Galaxy Community Conference and Bioinformatics Open Source Conference (GCCBOSC) 2018, Portland, United States, 26/06/18 - 27/06/18. <https://doi.org/10.7490/f1000research.1116166.1>
- Dooms, A, Jespers, E, Konovalov, A & Verrill, H, Congruence - Congruence subgroups of SL(2,Integers), Version 1.2.2 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/congruence/releases/tag/v1.2.2>
- Nickel, W, Gamble, G & Konovalov, A, Example - Example/Template of a GAP Package, Version 4.1.0 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/example/releases/tag/v4.1.0>
- Nickel, W, Gamble, G & Konovalov, A, Example - Example/Template of a GAP Package, Version 4.1.1 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/example/releases/tag/v4.1.1>
- Konovalov, A 2018, 'GAP - Open source software system for discrete computational mathematics', 3rd Conference of Research Software Engineers, Birmingham, United Kingdom, 3/09/18 - 4/09/18. <https://doi.org/10.6084/m9.figshare.7581551.v1>
- Konovalov, A 2018, 'GAP - Open source software system for discrete computational mathematics', Impact of international collaborations in research software, Manchester, United Kingdom, 24/04/18 - 24/04/18. <https://doi.org/10.6084/m9.figshare.7581536.v1>
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.10.0, 2018, Software. <https://www.gap-system.org/Releases/4.10.0.html>
- The GAP Group, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.8.10, 2018, Software. <https://www.gap-system.org/Releases/4.8.10.html>
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.9.1, 2018, Software. <https://www.gap-system.org/Releases/4.9.1.html>
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.9.2, 2018, Software. <https://www.gap-system.org/Releases/4.9.2.html>
- The GAP Group, Behrends, R, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.9.3, 2018, Software. <https://www.gap-system.org/Releases/4.9.3.html>
- García-Blas, J & Brown, C 2018, 'High-level programming for heterogeneous and hierarchical parallel systems', International Journal of High Performance Computing Applications, vol. 32, no. 6, pp. 804-806. https://doi.org/10.1177/1094342018807840
- Bovdi, V, Konovalov, A, Rossmanith, R & Schneider, C, LAGUNA - Lie AlGebras and UNits of group Algebras, Version 3.9.0 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/laguna/releases/tag/v3.9.0>
- Bovdi, V, Konovalov, A, Rossmanith, R & Schneider, C, LAGUNA - Lie AlGebras and UNits of group Algebras, Version 3.9.1 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/laguna/releases/tag/v3.9.1>
- Akgün, Ö, Hoffmann, R & Sarkar, S 2018, Memory consistency models using constraints. in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.
- Konovalov, A, Smoktunowicz, A & Vendramin, L 2018, 'On skew braces and their ideals', Experimental Mathematics, vol. Latest Articles. https://doi.org/10.1080/10586458.2018.1492476
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.3.1 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.3.1>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.3.2 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.3.2>
- Pulte, C, Flur, S, Deacon, W, French, J, Sarkar, S & Sewell, P 2018, Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. in Proceedings of the ACM on Programming Languages (POPL '18)., 19, Proceedings of the ACM on Programming Languages, no. POPL, vol. 2, ACM, New York, pp. 1-29, POPL '18 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, United States, 7/01/18. https://doi.org/10.1145/3158107
- Konovalov, A 2018, 'Software Carpentry Lesson on the Computational Algebra System GAP', CarpentryCon 2018, Dublin, Ireland, 30/05/18 - 1/06/18. <https://doi.org/10.6084/m9.figshare.6653246.v1>
- Software Carpentry team 2018, Software Carpentry: Programming with GAP: Version 2.0. Zenodo. https://doi.org/10.5281/zenodo.1485732
- Swan, J, Johnson, CG & Brady, EC 2018, Subtype polymorphism à la carte via machine learning on dependent types. in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. Association for Computing Machinery, Inc, New York, NY, pp. 14-16, 2nd International Workshop on Machine Learning techniques for Programming Languages, Amsterdam, Netherlands, 18/07/18. https://doi.org/10.1145/3236454.3236469
- Stypka, J, Turek, W, Byrski, A, Kisiel-Dorohinicki, M, Barwell, AD, Brown, CM, Hammond, K & Janjic, V 2018, 'The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang', International Journal of Parallel Programming, vol. 46, no. 1, pp. 4-22. https://doi.org/10.1007/s10766-017-0503-4
- Bächle, A, Herman, A, Konovalov, A, Margolis, L & Singh, G 2018, 'The status of the Zassenhaus conjecture for small groups', Experimental Mathematics, vol. 27, no. 4, pp. 431-436. https://doi.org/10.1080/10586458.2017.1306814
- Konovalov, A & Yakimenko, E, UnitLib - Library of normalized unit groups of modular group algebras, Version 4.0.0 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/unitlib/releases/tag/v4.0.0>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.2 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.2>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.3 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.3>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.4 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.4>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.5 (Refereed GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.5>
- Vendramin, L & Konovalov, A, YangBaxter - Combinatorial Solutions for the Yang-Baxter equation, Version 0.1.0 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/YangBaxter/releases/tag/v0.1.0>
- Vendramin, L & Konovalov, A, YangBaxter - Combinatorial Solutions for the Yang-Baxter equation, Version 0.2.0 (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/YangBaxter/releases/tag/v0.2.0>
- Slama, F & Brady, EC 2017, Automatically proving equivalence by type-safe reflection. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence), vol. 10383 (LNCS), Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17. https://doi.org/10.1007/978-3-319-62075-6_4
- Konovalov, A & Soules, P, Circle - Adjoint groups of finite rings, Version 1.6.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/circle/releases/tag/v1.6.0>
- Konovalov, A & Soules, P, Circle - Adjoint groups of finite rings, Version 1.6.1 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/circle/releases/tag/v1.6.1>
- Dooms, A, Jespers, E, Konovalov, A & Verrill, H, Congruence - Congruence subgroups of SL(2,Integers), Version 1.2.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/congruence/releases/tag/v1.2.0>
- Dooms, A, Jespers, E, Konovalov, A & Verrill, H, Congruence - Congruence subgroups of SL(2,Integers), Version 1.2.1 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/congruence/releases/tag/v1.2.1>
- Chasparis, G, Rossbory, M & Janjic, V 2017, Efficient dynamic pinning of parallelized applications by reinforcement learning with applications. in FF Rivera, TF Pena & JC Cabaleiro (eds), Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10417, Springer, Cham, pp. 164-176, 23rd International Conference on Parallel and Distributed Computing (Euro-Par), Santiago de Compostela, Spain, 28/08/17. https://doi.org/10.1007/978-3-319-64203-1_12
- Nickel, W, Gamble, G & Konovalov, A, Example - Example/Template of a GAP Package, Version 3.5.0 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/example/releases/tag/v3.5.0>
- Nickel, W, Gamble, G & Konovalov, A, Example - Example/Template of a GAP Package, Version 3.5.1 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/example/releases/tag/v3.5.1>
- Nickel, W, Gamble, G & Konovalov, A, Example - Example/Template of a GAP Package, Version 4.0.0 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/example/releases/tag/v4.0.0>
- The GAP Group, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.8.7, 2017, Software. <https://www.gap-system.org/Releases/4.8.7.html>
- The GAP Group, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.8.8, 2017, Software. <https://www.gap-system.org/Releases/4.8.8.html>
- The GAP Group, Breuer, T, Horn, M, Hulpke, A, Jefferson, CA, Konovalov, A, Linton, SA, Lübeck, F, Mitchell, JD, Pfeiffer, MJ, Siccha, S & Torpey, MC, GAP – Groups, Algorithms, and Programming, Version 4.8.9, 2017, Software. <https://www.gap-system.org/Releases/4.8.9.html>
- Barwell, AD & Hammond, K 2017, In search of a map: using program slicing to discover potential parallelism in recursive functions. in Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017). ACM, New York, pp. 30-41, FHPC 2017 Workshop on Functional High-Performance Computing, Oxford, United Kingdom, 7/09/17. https://doi.org/10.1145/3122948.3122951
- Bovdi, V, Konovalov, A, Rossmanith, R & Schneider, C, LAGUNA - Lie AlGebras and UNits of group Algebras, Version 3.8.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/laguna/releases/tag/v3.8.0>
- Flur, S, Sarkar, S, Pulte, C, Nienhuis, K, Maranget, L, Gray, K, Sezgin, A, Batty, M & Sewell, P 2017, Mixed-size concurrency: ARM, POWER, C/C++11, and SC. in M Fluet (ed.), Proceedings of the 44th annual ACM-SIGPLAN Symposium on Principles of programming languages (POPL 2017). ACM SIGPLAN Notices, no. 1, vol. 52, ACM, New York, pp. 429-442, POPL'17 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009839
- Kimmerle, W & Konovalov, A 2017, 'On the Gruenberg–Kegel graph of integral group rings of finite groups', International Journal of Algebra and Computation, vol. 27, no. 06, pp. 619-631. https://doi.org/10.1142/S0218196717500308
- Costantini, M, Konovalov, A, Nicosia, LM & Solomon, A, OpenMath - OpenMath functionality in GAP, Version 11.4.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/openmath/releases/tag/v11.4.0>
- Costantini, M, Konovalov, A, Nicosia, LM & Solomon, A, OpenMath - OpenMath functionality in GAP, Version 11.4.1 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/openmath/releases/tag/v11.4.1>
- Costantini, M, Konovalov, A, Nicosia, LM & Solomon, A, OpenMath - OpenMath functionality in GAP, Version 11.4.2 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/openmath/releases/tag/v11.4.2>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.1.0 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.1.0>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.1.1 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.1.1>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.1.2 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.1.2>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.2.0 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.2.0>
- Hulpke, A, Roney-Dougal, CM, Russell, C & Konovalov, A, PrimGrp - GAP Primitive Permutation Groups Library, Version 3.3.0 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/primgrp/releases/tag/v3.3.0>
- Botta, N, Jansson, P, Ionescu, C, Christiansen, D & Brady, EC 2017, 'Sequential decision problems, dependent types and generic solutions', Logical Methods in Computer Science, vol. 13, no. 1, 7. https://doi.org/10.23638/LMCS-13(1:7)2017
- Brady, EC 2017, 'Type driven development of concurrent communicating systems', Computer Science, vol. 18, no. 3, 1413. https://doi.org/10.7494/csci.2017.18.3.1413
- Brady, EC 2017, Type-driven development with Idris. Manning Publications Co., Shelter Island.
- Konovalov, A & Yakimenko, E, UnitLib - Library of normalized unit groups of modular group algebras, Version 3.3.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/unitlib/releases/tag/v3.3.0>
- Banks, C, Elver, M, Hoffmann, R, Sarkar, S, Jackson, P & Nagarajan, V 2017, Verification of a lazy cache coherence protocol against a weak memory model. in D Stewart & G Weissenbacher (eds), Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). FMCAD Inc, pp. 60-67, Formal Methods in Computer-Aided Design (FMCAD), Vienna, Austria, 2/10/17. <https://dl.acm.org/citation.cfm?id=3168470>
- Cristo , OB, Herman, A, Konovalov, A, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.8.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.8.0>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.0 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.0>
- Bakshi , GK, Cristo , OB, Herman, A, Konovalov, A, Maheshwary, S, Olivieri, A, Olteanu, G, del Río , Á & Van Gelder, I, Wedderga - Wedderburn Decomposition of Group Algebras, Version 4.9.1 (Refereed GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/wedderga/releases/tag/v4.9.1>
- Vendramin, L & Konovalov, A, YangBaxter - Combinatorial Solutions for the Yang-Baxter equation, Version 0.0.1 (GAP package), 2017, Software, GitHub. <https://github.com/gap-packages/YangBaxter/releases/tag/v0.0.1>
- Konovalov, A & Soules, P, Circle - Adjoint groups of finite rings, Version 1.5.4 (Refereed GAP package), 2016, Software, GitHub.