38 citations · 67 across the 16 of their papers we have counts for
18 papers
A Minimal Formulation of Session Types: The Sessions of Trios in Concert
Alen Arslanagić, Jorge A. Pérez, Dan Frumin
Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential to enforcing program correctness; by relyin…
Cross-Lingual and Cross-Domain Crisis Classification for Low-Resource Scenarios
Cinthia Sánchez, Hernan Sarmiento, Andres Abeliuk +2
Social media data has emerged as a useful source of timely information about real-world crisis events. One of the main tasks related to the use of social media for disaster managem…
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Asynchronous Functional Sessions: Cyclic and Concurrent
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Scalable Typestate Analysis for Low-Latency Environments
Alen Arslanagić, Pavle Subotić, Jorge A. Pérez
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of a…
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Type-preserving translations are effective rigorous tools in the study of core programming calculi. In this paper, we develop a new typed translation that connects sequential and c…
Foundations of Symbolic Languages for Model Interpretability
Marcelo Arenas, Daniel Baez, Pablo Barceló +2
Several queries and scores have recently been proposed to explain individual predictions over ML models. Given the need for flexible, reliable, and easy-to-apply interpretability m…
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
Bas van den Heuvel, Jorge A. Pérez
We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are tw…
Deadlock Freedom for Asynchronous and Cyclic Process Networks
Bas van den Heuvel, Jorge A. Pérez
This paper considers the challenging problem of establishing deadlock freedom for message-passing processes using behavioral type systems. In particular, we consider the case of pr…
Minimal Session Types for the -calculus (Extended Version)
Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
Session types are a discipline for the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. It is most relevant…
Cross-lingual hate speech detection based on multilingual domain-specific word embeddings
Aymé Arango, Jorge Pérez, Barbara Poblete
Automatic hate speech detection in online social networks is an important open problem in Natural Language Processing (NLP). Hate speech is a multidimensional issue, strongly depen…
A Comprehensive Review of the Video-to-Text Problem
Jesus Perez-Martin, Benjamin Bustos, Silvio Jamil F. Guimarães +3
Research in the Vision and Language area encompasses challenging topics that seek to connect visual and textual information. When the visual information is related to videos, this…
A Decentralized Analysis of Multiparty Protocols
Bas van den Heuvel, Jorge A. Pérez
Protocols provide the unifying glue in concurrent and distributed software today; verifying that message-passing programs conform to such governing protocols is important but diffi…
Model Interpretability through the Lens of Computational Complexity
Pablo Barceló, Mikaël Monet, Jorge Pérez +1
In spite of several claims stating that some models are more interpretable than others -- e.g., "linear models are more interpretable than deep neural networks" -- we still lack a…
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning…
Predicting Unplanned Readmissions with Highly Unstructured Data
Constanza Fierro, Jorge Pérez, Javier Mora
Deep learning techniques have been successfully applied to predict unplanned readmissions of patients in medical centers. The training data for these models is usually based on his…
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the…
Causal Consistency for Reversible Multiparty Protocols
Claudio Antares Mezzina, Jorge A. Pérez
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for commun…