38 citations · 67 across the 16 of their papers we have counts for
8 papers · 1 filter
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…