Foundations of Software Systems (FoSS)

Ian Mackie

Selected Publications

2020

  • Fernández, M., & Mackie, I. (2020). A Reversible Operational Semantics for Imperative Programming Languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12531 LNCS (pp. 91-106). doi:10.1007/978-3-030-63406-3_6
    Conference publication. View online.

2019

  • Yildirim, M., & Mackie, I. (n.d.). Encouraging users to improve password security and memorability. International Journal of Information Security, pages. doi:10.1007/s10207-019-00429-y
    Article. View on figshare.
  • Fernández, M., Mackie, I., & Thuraisingham, B. (2019). Specification and analysis of ABAC policies via the category-based metamodel. In CODASPY 2019 - Proceedings of the 9th ACM Conference on Data and Application Security and Privacy (pp. 173-184). doi:10.1145/3292006.3300033
    Conference publication. View online.
  • Fernández, M., & Mackie, I. (2019). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 288.
    Conference publication.

2018

  • Mackie, I., & Yildirim, M. (2018, July 16). A novel hybrid password authentication scheme based on text and image. In Data and Applications Security and Privacy (pp. 182-197). Italy: Springer Verlag. doi:10.1007/978-3-319-95729-6_12
    Conference publication. View on figshare.
  • Mackie, I. (2019). Linear numeral systems. Journal of Automated Reasoning, 63(4), 887-909. doi:10.1007/s10817-018-9456-6
    Article. View on figshare.

2017

  • Ayala-Rincón, M., Mackie, I., & Montanari, U. (2017). Logical and Semantic Frameworks with Applications. Theoretical Computer Science, 685, 1-2. doi:10.1016/j.tcs.2017.05.028
    Article. View online.
  • Mackie, I. (2017). A geometry of interaction machine for Gödel's System T. In Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017 Vol. 10388 (pp. 229-241). Springer Verlag. doi:10.1007/978-3-662-55386-2_16
    Conference publication. View on figshare.
  • Alsowail, R., & Mackie, I. (2017). Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332, 3-20. doi:10.1016/j.entcs.2017.04.002
    Article. View on figshare.

2016

  • Corradini, A., Fernández, M., Mackie, I., Plump, D., Van Raamsdonk, F., & Zantema, H. (2016). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 1). doi:10.4204/EPTCS.225
    Conference publication. View online.
  • Mackie, I. (2016). Compiling process networks to interaction nets. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 5-14). doi:10.4204/EPTCS.225.3
    Conference publication. View online.
  • Mackie, I., & Sato, S. (2016). In-place graph rewriting with interaction nets. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 15-24). doi:10.4204/EPTCS.225.4
    Conference publication. View online.
  • Mackie, I., & Sato, S. (2016). Parallel evaluation of interaction nets: Case studies and experiments. Electronic Communications of the EASST, 73(1), 1-20. doi:10.14279/tuj.eceasst.73.1034.1022
    Article. View online.
  • Mackie, I., & Sato, S. (2016). An interaction net encoding of Gödel’s System T declarative pearl. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9613 (pp. 80-93). doi:10.1007/978-3-319-29604-3_6
    Conference publication. View online.

2015

  • Hassan, A., Mackie, I., & Sato, S. (2015). An implementation model for interaction nets. Electronic Proceedings in Theoretical Computer Science, EPTCS, 183, 66-80. doi:10.4204/EPTCS.183.5
    Article. View online.
  • Ayala-Rincón, M., & Mackie, I. (2015). Preface. Electronic Notes in Theoretical Computer Science, 312, 1-2. doi:10.1016/j.entcs.2015.04.001
    Article. View online.
  • Mackie, I., & Sato, S. (2015). Parallel evaluation of interaction nets: Some observations and examples (Work-in-progress). In CEUR Workshop Proceedings Vol. 1403 (pp. 50-65).
    Conference publication.
  • Gaur, M., Gay, S. J., & Mackie, I. (2015). A routing calculus with flooding updates. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8956 (pp. 181-186). doi:10.1007/978-3-319-14977-6_12
    Conference publication. View online.

2014

  • Ayala-Rincón, M., Bonelli, E., & Mackie, I. (2014). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 144. doi:10.4204/EPTCS.144
    Conference publication. View online.
  • Fernández, M., Kirchner, H., Mackie, I., & Pinaud, B. (2014). Visual modelling of complex systems: Towards an abstract machine for PORGY. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8493 LNCS (pp. 183-193). doi:10.1007/978-3-319-08019-2_19
    Conference publication. View online.
  • Florido, M., & Mackie, I. (2014). Linearity in computation. Journal of Logic and Computation, 24(3), 511-512. doi:10.1093/logcom/exs024
    Article. View online.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2014). Linearity: A roadmap. Journal of Logic and Computation, 24(3), 513-529. doi:10.1093/logcom/exs020
    Article. View online.

2013

  • Gay, S., & Mackie, I. (2013). Semantic techniques in quantum computation (Vol. 9780521513746). doi:10.1017/CBO9781139193313
    Book. View online.
  • Gay, S., & Mackie, I. (2013). Preface (Vol. 9780521513746). doi:10.1017/CBO9781139193313.001
    Book. View online.

2011

  • Mackie, I. (2011). Linearity and recursion in a typed lambda-calculus. In PPDP '11 Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming (pp. 173-182). ACM Press. doi:10.1145/2003476.2003500
    Chapter. View on figshare.
  • Coecke, B., MacKie, I., Panangaden, P., & Selinger, P. (2011). Electronic Notes in Theoretical Computer Science: Preface. Electronic Notes in Theoretical Computer Science, 270(1), 1-2. doi:10.1016/j.entcs.2011.01.001
    Article. View online.
  • Mackie, I. (2011). An interaction net implementation of closed reduction. In Implementation and application of functional languages (pp. 43-59). Springer. doi:10.1007/978-3-642-24452-0
    Chapter. View on figshare.
  • Mackie, I. (2011). An interaction net implementation of closed reduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 5836 LNCS (pp. 43-59). doi:10.1007/978-3-642-24452-0_3
    Conference publication. View online.

2010

  • Moreira, A. M., & Mackie, I. (2010). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 21. doi:10.4204/EPTCS.21
    Conference publication. View online.
  • Florido, M., & Mackie, I. (2010). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 22. doi:10.4204/EPTCS.22
    Conference publication. View online.
  • Mackie, I. (2010). Gödel’s System T Revisited. Theoretical Computer Science, 411(11-13), 1484-1500. doi:10.1016/j.tcs.2009.11.014
    Article. View on figshare.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2010). Linearity and Iterator Types for Godel's System T. Higher-Order and Symbolic Computation, 23(1), 1-27. doi:10.1007/s10990-010-9060-x
    Article. View on figshare.
  • Hassan, A., Mackie, I., & Sato, S. (2010). A lightweight abstract machine for interaction nets. In Electronic Communications of the EASST Vol. 29. doi:10.14279/tuj.eceasst.29.416.382
    Conference publication. View online.
  • Mackie, I. (2010). A visual model of computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 6108 LNCS (pp. 350-360). doi:10.1007/978-3-642-13562-0_32
    Conference publication. View online.

2009

  • Fernández, M., Mackie, I., Sato, S., & Walker, M. (2009). Recursive Functions with Pattern Matching in Interaction Nets. Electronic Notes in Theoretical Computer Science, 253(4), 55-71. doi:10.1016/j.entcs.2009.10.017
    Article. View online.
  • Hassan, A., Mackie, I., & Sato, S. (2009). Compilation of Interaction Nets. Electronic Notes in Theoretical Computer Science, 253(4), 73-90. doi:10.1016/j.entcs.2009.10.018
    Article. View online.
  • Mackie, I. (2009). A rewriting paradigm for program and algorithm animation. In IEEE Symposium on Visual Languages and Human-Centric Computing. Oregon State Univ, Corvallis, OR.
    Presentation. View on figshare.

2008

  • Mackie, I., & Sato, S. (2008). A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electronic Notes in Theoretical Computer Science, 192(3), 59-70. doi:10.1016/j.entcs.2008.10.027
    Article. View online.
  • Mackie, I., Pinto, J. S., & Vilac, M. (2008). Visual Programming with Interaction Nets. In DIAGRAMS 2008.
    Presentation. View on figshare.
  • Alves, S., Florido, M., Mackie, I., & Sinot, F. -R. (2008). Minimality in a Linear Calculus with Iteration. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2008.03.060
    Presentation. View on figshare.
  • Hassan, A., Mackie, I., & Sato, S. (2008). Interaction nets: Programming language design and implementation. In Electronic Communications of the EASST Vol. 10. doi:10.14279/tuj.eceasst.10.156.144
    Conference publication. View online.

2007

  • Mackie, I., Pinto, J. S., & Vilaça, M. (2007). Visual programming with recursion patterns in interaction nets. In Electronic Communications of the EASST Vol. 6. doi:10.14279/tuj.eceasst.6.66.49
    Conference publication. View online.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). Linear Recursive Functions. In Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday (pp. 182-195). Berlin: Springer.
    Chapter. View on figshare.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). The Power of Closed Reduction Strategies.. In the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006). Seattle, Washington.. doi:10.1016/j.entcs.2007.02.047
    Presentation. View on figshare.
  • Mackie, I., & Plump, D. (2007). Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science, 17(3), 361-362. doi:10.1017/S0960129507006081
    Article. View on figshare.
  • Fernández, M., Mackie, I., & Pinto, J. S. (2007). A Higher-Order Calculus for Graph Transformation. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2002.09.005
    Presentation. View on figshare.
  • Cirstea, H., Faure, G., Fernández, M., Mackie, I., & Sinot, F. -R. (2007). From Functional Programs to Interaction Nets via the Rewriting Calculus.. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2007.02.046
    Presentation. View on figshare.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). Iterator Types. In Lecture Notes in Computer Science.
    Presentation. View on figshare.
  • Fernández, M., & Mackie, I. (2007). More developments in computational models: introduction. Mathematical Structures in Computer Science, 17(4), 585-586. doi:10.1017/S0960129507006196
    Article. View on figshare.

2006

  • Cirstea, H., Faure, G., Fernández, M., Mackie, I., & Sinot, F. R. (2006). New evaluation strategies for functional languages. In Electronic Notes in Theoretical Computer Science (pp. 80-95).
    Conference publication.
  • Alves, S., Fernández, M., Florido, M., & Mackie, I. (2006). The Power of Linear Functions. In Lecture Notes in Computer Science.
    Presentation. View on figshare.
  • Fernández, M., & Mackie, I. (2006). Developments in computational models: introduction. Mathematical Structures in Computer Science, 16(4), 553-555. doi:10.1017/S0960129506005305
    Article. View on figshare.
  • Fernández, M., Mackie, I., & Sinot, F. -R. (2006). Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. In Electronic Notes in Theoretical Computer Science.
    Presentation. View on figshare.

2005

  • Fernández, M., Mackie, I., & Sinot, F. -R. (2005). Lambda-Calculus with Director Strings. Journal of Applicable Algebra in Engineering, Communication and Computing, 15(6), 393-437. doi:10.1007/s00200-005-0169-9
    Article. View on figshare.
  • Fernández, M., Mackie, I., & Sinot, F. -R. (2005). Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, 15(2), 343-381. doi:10.1017/S0960129504004633
    Article. View on figshare.
  • Mackie, I. (2005). Encoding strategies in the lambda calculus with interaction nets. In Lecture Notes in Computer Science. doi:10.1007/11964681_2
    Presentation. View on figshare.
  • Mackie, I. (2005). Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 15(2), 219-237. doi:10.1093/logcom/exi011
    Article. View on figshare.
  • Mackie, I. (2005). Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127(5), 133-151. doi:10.1016/j.entcs.2005.02.015
    Article. View on figshare.
  • Sinot, F. -R., & Mackie, I. (2005). Macros for Interaction Nets: A Conservative Extension of Interaction Nets. In Electronic Notes in Theoretical Computer Science.
    Presentation. View on figshare.

2004

  • Mackie, I. (2004). Efficient lambda-Evaluation with Interaction Nets. In Lecture Notes in Computer Science.
    Presentation. View on figshare.
  • Fernández, M., Gabbay, M., & Mackie, I. (2004). Nominal rewriting systems. In Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.
    Presentation. View on figshare.

2003

  • Fernández, M., & Mackie, I. (2003). Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297(1-3), 157-181. doi:10.1016/S0304-3975(02)00637-0
    Article. View on figshare.
  • Sinot, F. -R., Fernández, M., & Mackie, I. (2003). Efficient Reductions with Director Strings. In Lecture Notes in Computer Science. doi:10.1007/3-540-44881-0_5
    Presentation. View on figshare.
  • Fernández, M., Mackie, I., Severi, P., & Szasz, N. (2003). Reduction Strategies for Program Extraction. CLEI Electronic Journal, 6(1), pages.
    Article. View on figshare.

2002

  • Mackie, I., & Pinto, J. S. (2002). Encoding Linear Logic with Interaction Combinators. Information and Computation, 176(2), 153-186. doi:10.1006/inco.2002.3163
    Article. View on figshare.
  • Fernández, M., & Mackie, I. (2002). Call-by-Value lambda-Graph Rewriting Without Rewriting. In Lecture Notes in Computer Science.
    Presentation. View on figshare.

2000

  • Fernández, M., & Mackie, I. (2000). A theory of operational equivalence for interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1776 LNCS (pp. 447-456). doi:10.1007/10719839_44
    Conference publication. View online.
  • Mackie, I. (2000). Interaction nets for linear logic. Theoretical Computer Science, 247(1-2), 83-140. doi:10.1016/S0304-3975(00)00198-5
    Article. View online.

1999

  • Mackie, I. (1999). YALE: Yet another lambda evaluator based on interaction nets. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 34(1), 117-128. doi:10.1145/291251.289434
    Article. View online.
  • Fernández, M., & Mackie, I. (1999). A calculus for interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1702 (pp. 170-187). doi:10.1007/10704567_10
    Conference publication. View online.
  • Fernandez, M., & Mackie, I. (1999). Closed reductions in the λ -calculus (Extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1683 (pp. 220-234). doi:10.1007/3-540-48168-0_16
    Conference publication. View online.

1998

  • Fernández, M., & Mackie, I. (1998). Interaction nets and term-rewriting systems. Theoretical Computer Science, 190(1), 3-39. doi:10.1016/S0304-3975(97)00082-0
    Article. View online.
  • Mackie, I. (1998). YALE: Yet another lambda evaluator based on interaction nets. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 117-128.
    Article.
  • Fernández, M., & Mackie, I. (1998). Coinductive techniques for operational equivalence of interaction nets. In Proceedings - Symposium on Logic in Computer Science Vol. 1998-June (pp. 321-332). doi:10.1109/LICS.1998.705668
    Conference publication. View online.
  • Mackie, I. (1998). Linear logic with boxes. In Proceedings - Symposium on Logic in Computer Science Vol. 1998-June (pp. 309-320). doi:10.1109/LICS.1998.705667
    Conference publication. View online.

1997

  • Mackie, I. (1997). Static analysis of interaction nets for distributed implementations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1302 LNCS (pp. 217-231). doi:10.1007/bfb0032744
    Conference publication. View online.
  • Goubault-Larrecq, J., & Mackie, I. (1997). Proof Theory and Automated Deduction. Kluwer Academic Pub.
    Book.

1996

  • Fernández, M., & Mackie, I. (1996). From term rewriting to generalised interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1140 (pp. 319-333). doi:10.1007/3-540-61756-6_94
    Conference publication. View online.
  • Fernández, M., & Mackie, I. (1996). Interaction nets and term rewriting systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1059 (pp. 149-164). doi:10.1007/3-540-61064-2_35
    Conference publication. View online.
  • Jensen, T. P., & Mackie, I. (1996). Flow analysis in the Geometry of Interaction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1058 (pp. 188-203). doi:10.1007/3-540-61055-3_37
    Conference publication. View online.

1995

  • Mackie, I. (1995). Geometry of interaction machine. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 198-208). doi:10.1145/199448.199483
    Conference publication. View online.

1994

  • Mackie, I. (1994). Lilac: A functional Programming Language Based On Linear Logic. Journal of Functional Programming, 4(4), 395-433. doi:10.1017/S0956796800001131
    Article. View online.

1993

  • Mackie, I., Román, L., & Abramsky, S. (1993). An internal language for autonomous categories. Applied Categorical Structures, 1(3), 311-343. doi:10.1007/BF00873993
    Article. View online.