55 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of LisbonPT25 papers
- Instituto Superior TécnicoPT7 papers
- Instituto de TelecomunicaçõesPT5 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- University of ConnecticutUS2 papers
- University of EdinburghGB2 papers
- Aalborg UniversityDK1 paper
- Algarve Biomedical CenterPT1 paper
- Battery ParkUS1 paper
- Boreskov Institute of CatalysisRU1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
3 papers · 1 filter
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda +2
Session types are a rich type discipline, based on linear types, that lifts the sort of safety claims that come with type systems to communications. However, web-based applications…
Inferring Types for Parallel Programs
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behav…
Types for X10 Clocks
Francisco Martins, Vasco T. Vasconcelos, Tiago Cogumbreiro
X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchroni…