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
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
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
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
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
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
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
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