J.A. (Jorge) Perez Parra, Prof

Associate Professor in Software Foundations

Faculty of Science and Engineering

Telephone:

+31 50 36 33971

E-mail:

j.a.perez rug.nl

Homepage ORCID Research Portal

Research interests

Rigorous programming models for concurrent and message-passing computation.

Publications

On the relative expressiveness of higher-order session processes

Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In: Information and Computation. 268, 54 p., 104433.

Research output: Contribution to journal › Article › Academic › peer-review

Domain-Aware Session Types

Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Minimal Session Types

Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Runtime Verification for Decentralised and Distributed Systems

Francalanza, A., Pérez, J. A. & Sánchez, C., Feb-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Bit-Vector Typestate Analysis

Arslanagic, A., Subotić, P. & Pérez, J. A., Sept-2023, In: Formal Aspects of Computing. 35, 3, p. 1-36 36 p., 19.

Research output: Contribution to journal › Article › Academic › peer-review

Monitoring Blackbox Implementations of Multiparty Session Protocols

van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-Oct-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer, p. 66-85 20 p. (Lecture Notes in Computer Science; vol. 14245).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Paulus, J., Nantes-Sobrinho, D. & Pérez, J. A., 10-Oct-2023, In: Logical Methods in Computer Science. 19, 4, 120 p.

Research output: Contribution to journal › Article › Academic › peer-review

Session-based concurrency in Maude: Executable semantics and type checking

Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., Jun-2023, In: The Journal of Logical and Algebraic Methods in Programming. 133, 100872.

Research output: Contribution to journal › Article › Academic › peer-review

Termination in Concurrency, Revisited

Paulus, J. W. N., Pérez, J. A. & Nantes-Sobrinho, D., 22-Oct-2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. Association for Computing Machinery, 14 p. 3. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Typed Non-determinism in Functional and Concurrent Calculi

van den Heuvel, B., Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 2023, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Hur, C.-K. (ed.). Singapore: Springer Science and Business Media Deutschland GmbH, p. 112-132 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14405 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

All (86) publications

Press/media

Research minute - Young Academy Groningen

Perez Parra, J.

03/09/2019

Press/Media: Public Engagement Activities › Popular

The power of logic in computation

Hansen, H. H., Perez Parra, J. & Frumin, D.

19/04/2022

Press/Media: Other › Professional

All (2) press/media

View full research profile