Jorge A. Perez: Home  PostDoc researcher at the Computer Science Department, FCT - New University of Lisbon, working under Luís Caires in the Carnegie-Mellon|Portugal lead project INTERFACES. I am a member of CITI and the PLASTIC research team. During 2007 - 2009, I was a PhD Student at the Department of Computer Science, University of Bologna. My supervisor was Davide Sangiorgi. Before that, during 2002 - 2006, I was with the AVISPA Research Group, Universidad Javeriana (Cali, Colombia). I worked with Camilo Rueda and Frank D. Valencia.  Within theoretical computer science, my research interests are in concurrency theory: process calculi, their expressiveness and decidability properties, and associated verification/proof techniques, such as logics, type systems, and bisimulation. See below for my publications. I also invest waste time maintaining a personal blog with ramblings.   Latest News 16/12/2011: Paper accepted at ESOP'12 : "Linear Logical Relations for Session-Based Concurrency " (Pérez, Caires, Pfenning, Toninho) --- see below for a draft. 02/11/2011: Back in September, Hugo presented an evolution of our joint work in WS-FM. We are now working on a revised version for the post-proceedings, which will appear in Springer LNCS. 02/09/2011: The extended, revised version of our FMOODS-FORTE paper has now reached a rather stable status. See here for details. Not So Latest News 11/06/2011: Attending the 10th Annual Oregon Programming Languages Summer School in Eugene (OR), during June 16 -- July 1. 21/03/2011: Paper accepted at FMOODS-FORTE'11: "Adaptable Processes (Extended Abstract)" (Bravetti, Di Giusto, Pérez, and Zavattaro). More info here. 10/02/2011: A short paper accepted at PLACES'11: "The Timed, Compensable Conversation Calculus" (Pérez and López). Hugo will present these preliminary results. 04/01/2011: Paper accepted at ESOP'11: "Type-Based Access Control for Data-Centric Systems" (Caires, Pérez, Seco, Vieira, Ferrão) - Conference Version in Springer LNCS 6602. Extended version coming soon. 06/12/2010: Short paper for the FACS'10 post-proceedings: "Steps on The Road to Component Evolvability" (Bravetti, Di Giusto, Perez, Zavattaro) - To appear in Springer LNCS 6921. See Older news

Peer-Reviewed Contributions

1. Linear Logical Relations for Session-Based Concurrency
   (with L. Caires, F. Pfenning, and B. Toninho.)
   To appear in the ESOP'12 proceedings, Springer LNCS. Click here for a draft.
2. Adaptable Processes (Extended Abstract)
   (with M. Bravetti, C. Di Giusto, and G. Zavattaro)
   In Proc. of FMOODS-FORTE'11. See here for details.
3. Type-Based Access Control for Data-Centric Systems
   (with L. Caires, J. Seco, H. T. Vieira, and L. Ferrão.)
   In Proc. of 20th European Symposium on Programming (ESOP'11) - Part of ETAPS 2011
   DOWNLOAD draft as PDF.
4. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
   (with I. Lanese, D. Sangiorgi and A. Schmitt)  
   In Proc. of 37th International Colloquium on Automata, Languages and Programming (ICALP'10)
   DOWNLOAD draft as PDF
5. On the Expressiveness of Forwarding in Higher-Order Communication
   (with C. Di Giusto and G. Zavattaro)
   In Proc. of ICTAC'09 (6th International Colloquium on Theoretical Aspects of Computing).
   More information (long version with proofs, slides) HERE
6. Towards a Unified Framework for Declarative Structured Communications
   (with H. A. Lopez and C. Olarte)
   Proc. of PLACES'09: Second Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (Part of ETAPS'09)
   EPTCS (Electronic Proceedings in Theoretical Computer Science), Vol 17, pp 1--16.
   DOWNLOAD draft as PDF
7. On the Expressiveness and Decidability of Higher-Order Process Calculi
   (with I. Lanese, D. Sangiorgi and A. Schmitt)
   Proc. of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp 145--155.
   More information (abstract, long version with proofs) HERE
8. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
   (with J. Aranda, C. Rueda and F. Valencia)
   Proc. of 24th International Conference on Logic Programming (ICLP 2008).
   DOWNLOAD draft as PDF
9. Non-determinism and Probabilities in Timed Concurrent Constraint Programming
(with C. Rueda)
Proc. of 24th International Conference on Logic Programming (ICLP 2008).
An extended version (20pp), with examples, can be downloaded as PDF
10. Timed Concurrent Constraint Programming for Analysing Biological Systems
    (with J. Gutiérrez, C. Rueda and F. Valencia).
    Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 06) (Part of ICALP'06). Electronic Notes in Theoretical Computer Science (ENTCS), Vol 171/2 pp 117-137. Elsevier, 2007.
    DOWNLOAD draft as PDF
11. A Declarative Framework for Security: Secure Concurrent Constraint Programming (Poster)
    (with H. López, C. Palamidessi, C. Rueda and F. Valencia).
    Twenty Second International Conference on Logic Programming (ICLP'06)
    Lecture Notes in Computer Science Vol. 4079, Springer 2006.
    DOWNLOAD draft as PDF
12. Implementing an Abstraction Scheme for Soft Constraints
    (with A. Delgado and C. Rueda).
    Symposium on Abstraction, Reformulation and Approximation (SARA 2005). Lecture Notes in Computer Science Vol. 3607, Springer-Verlag 2005.
    DOWNLOAD draft as PDF
13. Implementing Semiring-Based Constraints using Mozart
    (with A. Delgado, C. Olarte and C. Rueda ).
    Multiparadigm Programming in Mozart/Oz: Extended Proceedings of MOZ 2004. Lecture Notes in Computer Science Vol. 3389, Springer-Verlag 2005.
    DOWNLOAD draft as PDF
14. An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
    (with A. Delgado, G. Pabon, R. Jordan, C. Rueda and J.F. Di­az.)
    Multiparadigm Programming in Mozart/Oz: Extended Proceedings of MOZ 2004. Lecture Notes in Computer Science Vol. 3389, Springer-Verlag 2005.
    DOWNLOAD draft as PDF