| |
Francalanza, Adrian
|
AGERE '21: "Session Types in Elixir ..."
Session Types in Elixir
Gerard Tabone and Adrian Francalanza
(University of Malta, Malta)
@InProceedings{AGERE21p16,
author = {Gerard Tabone and Adrian Francalanza},
title = {Session Types in Elixir},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3486601.3486708},
year = {2021},
}
 Publisher's Version
Article: splashws21ageremain-p3-p doi:10.1145/3486601.3486708
|
| |
Gonzalez Boix, Elisa
|
AGERE '21: "What’s the Problem? Interrogating ..."
What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Carmen Torres Lopez, Louise Van Verre, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE21p31,
author = {Carmen Torres Lopez and Louise Van Verre and Elisa Gonzalez Boix},
title = {What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3486601.3486709},
year = {2021},
}
Publisher's Version
Article: splashws21ageremain-p7-p doi:10.1145/3486601.3486709
|
| |
Soethout, Tim
|
AGERE '21: "Contract-Based Return-Value ..."
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands; University of Groningen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{AGERE21p1,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486601.3486707},
year = {2021},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: splashws21ageremain-p2-p doi:10.1145/3486601.3486707
|
| |
Tabone, Gerard
|
AGERE '21: "Session Types in Elixir ..."
Session Types in Elixir
Gerard Tabone and Adrian Francalanza
(University of Malta, Malta)
@InProceedings{AGERE21p16,
author = {Gerard Tabone and Adrian Francalanza},
title = {Session Types in Elixir},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3486601.3486708},
year = {2021},
}
Publisher's Version
Article: splashws21ageremain-p3-p doi:10.1145/3486601.3486708
|
| |
Torres Lopez, Carmen |
AGERE '21: "What’s the Problem? Interrogating ..."
What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Carmen Torres Lopez, Louise Van Verre, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE21p31,
author = {Carmen Torres Lopez and Louise Van Verre and Elisa Gonzalez Boix},
title = {What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3486601.3486709},
year = {2021},
}
Publisher's Version
Article: splashws21ageremain-p7-p doi:10.1145/3486601.3486709
|
| |
Van der Storm, Tijs
|
AGERE '21: "Contract-Based Return-Value ..."
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands; University of Groningen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{AGERE21p1,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486601.3486707},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws21ageremain-p2-p doi:10.1145/3486601.3486707
|
| |
Van Verre, Louise |
AGERE '21: "What’s the Problem? Interrogating ..."
What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Carmen Torres Lopez, Louise Van Verre, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE21p31,
author = {Carmen Torres Lopez and Louise Van Verre and Elisa Gonzalez Boix},
title = {What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3486601.3486709},
year = {2021},
}
Publisher's Version
Article: splashws21ageremain-p7-p doi:10.1145/3486601.3486709
|
| |
Vinju, Jurgen J. |
AGERE '21: "Contract-Based Return-Value ..."
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands; University of Groningen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{AGERE21p1,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486601.3486707},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws21ageremain-p2-p doi:10.1145/3486601.3486707
|