Publications
Recent publications by group members.
- 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.11.1, 2021, Software. <https://www.gap-system.org/Releases/4.11.1.html>
- Brady, EC 2021, Idris 2: Quantitative Type Theory in practice. in A Møller & M Sridharan (eds), 35th European Conference on Object-Oriented Programming (ECOOP 2021)., 11, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 35th European Conference on Object-Oriented Programming (ECOOP 2021), Aarhus, Denmark, 11/07/21. https://doi.org/10.4230/LIPIcs.ECOOP.2021.9
- Barwell, AD, Brown, CM & Sarkar, S 2021, Proving renaming for Haskell via dependent types: a case-study in refactoring soundness. in 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2021). pp. 1-10, 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
, Buenos Aeires, Argentina, 18/07/21. - Janjic, V, Brown, CM & Barwell, A 2021, 'Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns', International Journal of Parallel Programming, vol. First Online. https://doi.org/10.1007/s10766-021-00716-z
- Brown, CM, Barwell, AD, Marquer, Y, Zendra, O, Richmond, T & Gu, C 2022, Semi-automatic ladderisation: improving code security through rewriting and dependent types. in POPL 2022: Proceedings of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2022, Pennsylvania, Pennsylvania, United States, 17/01/22.
- 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, vol. Early Access. 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 J Stutterheim & WN Chin (eds), 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/19. https://doi.org/10.1145/1122445.1122456
- 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
- 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.11.0, 2020, Software. <https://www.gap-system.org/Releases/4.11.0.html>
- 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.
- 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>
- 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
- 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.
- Konovalov, A, Torpey, M, Jefferson, CA & Software Carpentry team 2019, Software Carpentry: Programming with GAP: Version 3.0. Zenodo. https://doi.org/10.5281/zenodo.1485732
- 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, California, 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>
- Konovalov, A & 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>
- 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>
- 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.
- Christiansen, D & Brady, EC 2016, Elaborator reflection: extending Idris in Idris. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). ACM SIGPLAN Notices, no. 9, vol. 51, ACM, New York, pp. 284-297, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18/09/16. https://doi.org/10.1145/2951913.2951932