J.A. (Jorge) Perez Parra, Prof Dr

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

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

Frumin, D. , D'Osualdo, E. , van den Heuvel, B. & Pérez, J. A. , Oct-2022 , In: Proceedings of the ACM on Programming Languages. 6 , OOPSLA2 , p. 841-869 29 p. , 155.

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

A decentralized analysis of multiparty protocols

van den Heuvel, B. & Pérez, J. A. , 1-Oct-2022 , In: Science of computer programming. 222 , 102840.

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

Asynchronous Functional Sessions: Cyclic and Concurrent

van den Heuvel, B. & Pérez, J. A. , 6-Sep-2022 , (Submitted) In: Electronic Proceedings in Theoretical Computer Science. 368 , p. 75-94 20 p.

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

Comparing type systems for deadlock freedom

Dardha, O. & Pérez, J. A. , Jan-2022 , In: The Journal of Logical and Algebraic Methods in Programming. 124 , 43 p. , 100717.

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

Scalable Typestate Analysis for Low-Latency Environments

Arslanagic, A. , Pérez, J. A. & Subotić, P. , 1-Jun-2022 , Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer , p. 322–340 9 p. (Lecture Notes in Computer Science; vol. 13274).

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