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