Babel Group
UPM UPM

Xmc

Julio Mariño

Associate Professor

Publications

2025

  1. Executable contracts for Elixir
    de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, Mariño, J., & Earle, C. B. (2025). Executable contracts for Elixir. J. Log. Algebraic Methods Program., 142, 101019.
  2. Generation of algebraic data type values using evolutionary algorithms
    Ballesteros, I., Earle, C. B., Mariño, J., Fredlund, L.-Å., & Ángel Herranz. (2025). Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program., 143, 101022.
  3. Checking Concurrency Coding Rules
    Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2025). Checking Concurrency Coding Rules. In E. Erdem & G. Vidal (Eds.), Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Vol. 15537, pp. 113–129). Springer.
  4. Haskell Based Spreadsheets
    Ballesteros, I., de Barrio, L. E. B., & Mariño, J. (2025). Haskell Based Spreadsheets. In E. Erdem & G. Vidal (Eds.), Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Vol. 15537, pp. 146–162). Springer.

2024

  1. Controlled Scheduling of Concurrent Elixir Programs
    de Barrio, L. E. B., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2024). Controlled Scheduling of Concurrent Elixir Programs. In K. Fernandez-Reyes & A. L. Voinea (Eds.), Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 (pp. 67–75). ACM.
  2. Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises
    Calvo-Manzano, J. A., Feliu, T. S., Ángel Herranz, Mariño, J., Fredlund, L.-Å., Colomo-Palacios, R., & Moreno Ana Marı́a. (2024). Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. In M. Yilmaz, P. M. Clarke, A. Riel, R. Messnarz, C. Greiner, & T. Peisl (Eds.), Systems, Software and Services Process Improvement - 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I (Vol. 2179, pp. 231–244). Springer.

2023

  1. A formal semantics for agent distribution and fault tolerance in Jason
    Fernández Dı́az, Fredlund, L.-Å., Earle, C. B., & Mariño, J. (2023). A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program., 133, 100874.
  2. Generation and Refinement of Testing Models
    de Barrio, L. E. B., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2023). Generation and Refinement of Testing Models. In B. K. Ozkan & K. Fernandez-Reyes (Eds.), Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 (pp. 14–23). ACM.

2022

  1. Automatic Generation of Attacker Contracts in Solidity
    Ballesteros, I., Earle, C. B., de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2022). Automatic Generation of Attacker Contracts in Solidity. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel (Vol. 105, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  2. Executable contracts for Elixir
    Pérez, S., de Barrio, L. E. B., Ballesteros, I., Ángel Herranz, Mariño, J., Earle, C. B., & Fredlund, L.-Å. (2022). Executable contracts for Elixir. In S. Aronis & B. K. Ozkan (Eds.), Erlang ’22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 (pp. 40–46). ACM.

2021

  1. Makina: a new QuickCheck state machine library
    de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, Earle, C. B., & Mariño, J. (2021). Makina: a new QuickCheck state machine library. In S. Aronis & A. Bieniusa (Eds.), Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021 (pp. 41–53). ACM.

2019

  1. Synthesis of verifiable concurrent Java components from formal models
    Mariño, J., Alborodo, R. N. N., Fredlund, L.-Å., & Ángel Herranz-Nieva. (2019). Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model., 18(1), 71–105.

2018

  1. Runtime Verification in Erlang by Using Contracts
    Fredlund, L.-Å., Mariño, J., Pérez, S., & Tamarit, S. (2018). Runtime Verification in Erlang by Using Contracts. In J. Silva (Ed.), Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Vol. 11285, pp. 56–73). Springer.
  2. Runtime verification in Erlang by using contracts
    Fredlund, L.-Å., Mariño, J., Pérez, S., & Tamarit, S. (2018). Runtime verification in Erlang by using contracts. CoRR, abs/1808.07937.

2017

  1. Constraint logic programming with a relational machine
    Arias, E. J. G., Lipton, J., & Mariño, J. (2017). Constraint logic programming with a relational machine. Formal Aspects Comput., 29(1), 97–124.
  2. The Unfolding Semantics of Functional Programs
    Poza José Marı́a Rey, & Mariño-Carballo, J. (2017). The Unfolding Semantics of Functional Programs. CoRR, abs/1708.08003.

2016

  1. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
    Tamarit, S., Mariño, J., Vigueras, G., & Carro, M. (2016). Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. In A. Villanueva (Ed.), Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016 (Vol. 237, pp. 34–51).
  2. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
    Vigueras, G., Carro, M., Tamarit, S., & Mariño, J. (2016). Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. In A. Villanueva (Ed.), Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016 (Vol. 237, pp. 52–67).
  3. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems
    Tamarit, S., Mariño, J., Vigueras, G., & Carro, M. (2016). Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. CoRR, abs/1603.03011.
  4. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
    Vigueras, G., Carro, M., Tamarit, S., & Mariño, J. (2016). Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. CoRR, abs/1603.03022.
  5. Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
    Tamarit, S., Mariño, J., Vigueras, G., & Carro, M. (2016). Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. CoRR, abs/1603.03488.

2015

  1. Applying Property-Based Testing in Teaching Safety-Critical System Programming
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2015). Applying Property-Based Testing in Teaching Safety-Critical System Programming. 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 309–316.
  2. A Haskell Implementation of a Rule-Based Program Transformation for C Programs
    Tamarit, S., Vigueras, G., Carro, M., & Mariño, J. (2015). A Haskell Implementation of a Rule-Based Program Transformation for C Programs. In E. Pontelli & T. C. Son (Eds.), Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings (Vol. 9131, pp. 105–114). Springer.

2014

  1. Jsongen: a quickcheck based library for testing JSON web services
    Earle, C. B., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Jsongen: a quickcheck based library for testing JSON web services. In L. M. Castro & H. Svensson (Eds.), Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 (pp. 33–41). ACM.
  2. Teaching Students Property-Based Testing
    Earle, C. B., Fredlund, L.-Å., Mariño, J., & Arts, T. (2014). Teaching Students Property-Based Testing. 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, 437–442.
  3. Property-Based Testing of JSON Based Web Services
    Fredlund, L.-Å., Earle, C. B., Ángel Herranz-Nieva, & Mariño-Carballo, J. (2014). Property-Based Testing of JSON Based Web Services. 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014, 704–707.
  4. Declarative Compilation for Constraint Logic Programming
    Arias, E. J. G., Lipton, J., & Mariño-Carballo, J. (2014). Declarative Compilation for Constraint Logic Programming. In M. Proietti & H. Seki (Eds.), Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Vol. 8981, pp. 299–316). Springer.
  5. A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. In C. Canal & A. Idani (Eds.), Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Vol. 8938, pp. 116–130). Springer.
  6. Execution and Verification of UML State Machines with Erlang
    Rodrı́guez Ricardo J., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Execution and Verification of UML State Machines with Erlang. In D. Giannakopoulou & G. Salaün (Eds.), Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings (Vol. 8702, pp. 284–289). Springer.

2013

  1. A model-driven approach to teaching concurrency
    Carro, M., Ángel Herranz-Nieva, & Mariño, J. (2013). A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ., 13(1), 5:1–5:19.

2012

  1. From the \(\pi\)-calculus to flat GHC
    Monjaraz, R., & Mariño, J. (2012). From the \(\pi\)-calculus to flat GHC. In D. D. Schreye, G. Janssens, & A. King (Eds.), Principles and Practice of Declarative Programming, PPDP’12, Leuven, Belgium - September 19 - 21, 2012 (pp. 163–172). ACM.

2011

  1. First-order unification using variable-free relational algebra
    Arias, E. J. G., Lipton, J., Mariño, J., & Nogueira, P. (2011). First-order unification using variable-free relational algebra. Log. J. IGPL, 19(6), 790–820.
  2. A Verified Implementation of Priority Monitors in Java
    Ángel Herranz-Nieva, & Mariño, J. (2011). A Verified Implementation of Priority Monitors in Java. In B. Beckert, F. Damiani, & D. Gurov (Eds.), Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Vol. 7421, pp. 160–177). Springer.
  3. Synthesis of Logic Programs from Object-Oriented Formal Specifications
    Ángel Herranz-Nieva, & Mariño, J. (2011). Synthesis of Logic Programs from Object-Oriented Formal Specifications. In J. P. Gallagher & M. Gelfond (Eds.), Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA (Vol. 11, pp. 95–105). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  4. A Tool for the Integration of Constraint Solving in Spreadsheets
    Fernández-Soriano Ana Marı́a, Mariño, J., & Ángel Herranz-Nieva. (2011). A Tool for the Integration of Constraint Solving in Spreadsheets. In P. Arenas & Gulı́as Vı́ctor M. (Eds.), Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011 (Vol. 282, pp. 35–45). Elsevier.
  5. Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
    Mariño, J. (Ed.). (2011). Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers (Vol. 6559). Springer.

2009

  1. Modeling Concurrent Systems with Shared Resources
    Ángel Herranz-Nieva, Mariño, J., Carro, M., & Moreno-Navarro, J. J. (2009). Modeling Concurrent Systems with Shared Resources. In Alpuente Marı́a, B. Cook, & C. Joubert (Eds.), Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings (Vol. 5825, pp. 102–116). Springer.

2008

  1. Implementing Constructive Intensional Negation
    Mariño, J., Moreno-Navarro, J. J., & Muñoz-Hernández, S. (2008). Implementing Constructive Intensional Negation. New Gener. Comput., 27(1), 25–56.
  2. Automatic Coding Rule Conformance Checking Using Logic Programming
    Marpons-Ucero, G., Mariño-Carballo, J., Carro, M., Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Fredlund, L.-Å. (2008). Automatic Coding Rule Conformance Checking Using Logic Programming. In P. Hudak & D. S. Warren (Eds.), Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 (Vol. 4902, pp. 18–34). Springer.
  3. First-order unification using variable-free relational algebra
    Arias, E. J. G., Lipton, J., Mariño, J., & Nogueira, P. (2008). First-order unification using variable-free relational algebra. In M. Marin (Ed.), Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008 (pp. 40–54).
  4. A Coding Rule Conformance Checker Integrated into GCC
    Marpons-Ucero, G., Mariño, J., Carro, M., Ángel Herranz-Nieva, Fredlund, L.-Å., Moreno-Navarro, J. J., & Álvaro Polo. (2008). A Coding Rule Conformance Checker Integrated into GCC. In J. M. Almendros-Jiménez (Ed.), Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008 (Vol. 248, pp. 149–159). Elsevier.

2007

  1. Demand analysis with partial predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2007). Demand analysis with partial predicates. Theory Pract. Log. Program., 7(1-2), 153–182.
  2. Automatic Coding Rule Conformance Checking Using Logic Programs
    Marpons-Ucero, G., Mariño, J., Ángel Herranz-Nieva, Fredlund, L.-Å., Carro, M., & Moreno-Navarro, J. J. (2007). Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR, abs/0711.0344.

2006

  1. A Proposal for Disequality Constraints in Curry
    Arias, E. J. G., Mariño-Carballo, J., & Poza José Marı́a Rey. (2006). A Proposal for Disequality Constraints in Curry. In F. J. López-Fraguas (Ed.), Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006 (Vol. 177, pp. 269–285). Elsevier.
  2. Demand Analysis with Partial Predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2006). Demand Analysis with Partial Predicates. CoRR, abs/cs/0602008.

2005

  1. Adding constraints to curry via flat guards
    Mariño, J., & Poza José Marı́a Rey. (2005). Adding constraints to curry via flat guards. In S. Antoy & M. Hanus (Eds.), Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 (pp. 14–22). ACM.
  2. An overview of the Sloth2005 curry system: system description
    Arias, E. J. G., & Mariño, J. (2005). An overview of the Sloth2005 curry system: system description. In S. Antoy & M. Hanus (Eds.), Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 (pp. 66–69). ACM.

2004

  1. Constructive Intensional Negation
    Muñoz-Hernández, S., Mariño, J., & Moreno-Navarro, J. J. (2004). Constructive Intensional Negation. In Y. Kameyama & P. J. Stuckey (Eds.), Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Vol. 2998, pp. 39–54). Springer.
  2. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
    Carro, M., Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2004). Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. In C. N. Dean & R. T. Boute (Eds.), Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings (Vol. 3294, pp. 85–106). Springer.

2002

  1. AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002
    Moreno-Navarro, J. J., & Mariño-Carballo, J. (Eds.). (2002). AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Facultad de Informática, Universidad Politécnica de Madrid.

2000

  1. Using Static Analysis to Compile Non-sequential Functional Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (2000). Using Static Analysis to Compile Non-sequential Functional Logic Programs. In E. Pontelli & Costa Vı́tor Santos (Eds.), Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings (Vol. 1753, pp. 63–80). Springer.
  2. Partial Predicates for Demand Analysis
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Partial Predicates for Demand Analysis. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 324–339).

1999

  1. Using Static Analysis to Compile Non-sequential Functional Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (1999). Using Static Analysis to Compile Non-sequential Functional Logic Programs. In D. D. Schreye (Ed.), Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999 (p. 614). MIT Press.

1998

  1. Recovering Sequentiality in Functional-Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (1998). Recovering Sequentiality in Functional-Logic Programs. In J. L. Freire-Nistal, M. Falaschi, & M. V. Ferro (Eds.), 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE’98, A Coruña, Spain, July 20-23, 1998 (pp. 137–150).

1996

  1. Adding Type Classes to Functional-Logic Languages
    Moreno-Navarro, J. J., Mariño, J., del Pozo-Prieto, A., Ángel Herranz-Nieva, & Garcı́a-Martı́n Julio. (1996). Adding Type Classes to Functional-Logic Languages. In P. Lucio, M. Martelli, & M. Navarro (Eds.), 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996 (pp. 427–438).

1993

  1. Efficient Lazy Narrowing using Demandedness Analysis
    Moreno-Navarro, J. J., Kuchen, H., Mariño-Carballo, J., Winkler, S., & Hans, W. (1993). Efficient Lazy Narrowing using Demandedness Analysis. In M. Bruynooghe & J. Penjam (Eds.), Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP’93, Tallinn, Estonia, August 25-27, 1993, Proceedings (Vol. 714, pp. 167–183). Springer.

1992

  1. Efficient Compilation of Lazy Narrowing into Prolog
    Jimènez-Martin, J. A., Mariño-Carballo, J., & Moreno-Navarro, J. J. (1992). Efficient Compilation of Lazy Narrowing into Prolog. In K.-K. Lau & T. Clement (Eds.), Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992 (pp. 253–270). Springer.
    © Babel Group 2025