Search this site
Jorge A. Pérez
  • Home
  • Latest
  • Team
  • Publications
  • Research
    • VIDI
    • Activities
    • Correct Software
    • CHoCO
  • Teaching
    • Projects
  • Contact
Jorge A. Pérez
  • Home
  • Latest
  • Team
  • Publications
  • Research
    • VIDI
    • Activities
    • Correct Software
    • CHoCO
  • Teaching
    • Projects
  • Contact
  • More
    • Home
    • Latest
    • Team
    • Publications
    • Research
      • VIDI
      • Activities
      • Correct Software
      • CHoCO
    • Teaching
      • Projects
    • Contact

Recent Events

  • 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

Report abuse
Google Sites
Report abuse