Search this site
Embedded Files
Jorge A. Pérez
  • Home
  • Team
  • Publications
  • Research
    • Service & Events
    • VIDI
    • Correct Software
    • CHoCO
  • Teaching
    • Projects
  • Contact
Jorge A. Pérez
  • Home
  • Team
  • Publications
  • Research
    • Service & Events
    • VIDI
    • Correct Software
    • CHoCO
  • Teaching
    • Projects
  • Contact
  • More
    • Home
    • Team
    • Publications
    • Research
      • Service & Events
      • VIDI
      • Correct Software
      • CHoCO
    • Teaching
      • Projects
    • Contact

Recent Events

  • DisCoTec 2024 (General chair)

  • PLDI 2023 (PC member) 

  • ESOP 2023 (PC member)

  • IPA Course on Formal Methods (Invited Lecturer)

  • New challenges in programming language semantics / Lorentz Center, Leiden (Invited participant)

Recent Papers

  • OOPSLA'22 A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

  • SCICO A Decentralized Analysis of Multiparty Protocols 

  • TOPLAS Session Coalgebras: A Coalgebraic View on Regular and Context-Free Session Types

  • iFM'22 Scalable Typestate Analysis for Low-Latency Environments

  • JLAMP Comparing Type Systems for Deadlock Freedom

  • PPDP'21 Minimal Session Types for the pi-calculus

  • FSCD'21 Non-Deterministic Functions as Non-Deterministic Processes 

  • Acta Inf Session-Based Concurrency, Declaratively

  • PLACES'20 Session Type Systems based on Linear Logic: Classical versus Intuitionistic 

  • Inf & Comp On the Relative Expressiveness of Higher-Order Session Processes 

  • CONCUR'19 Domain-Aware Session Types

  • ECOOP'19 Minimal Session Types

  • ESOP'17 Linearity, Control Effects, and Behavioral Types 

Google Sites
Report abuse
Google Sites
Report abuse