• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 90 matches

• 2021
• 
  Carmen Torres Lopez, Louise Van Verre, Elisa Gonzalez Boix:
  What's the problem? interrogating actors to identify the root cause of concurrency bugs. AGERE!@SPLASH 2021: 24-36
• 
  Tim Soethout, Tijs van der Storm, Jurgen J. Vinju:
  Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. AGERE!@SPLASH 2021: 1-11
• 
  Gerard Tabone, Adrian Francalanza:
  Session types in Elixir. AGERE!@SPLASH 2021: 12-23
• 
  Elias Castegren, Joeri De Koster, Simon Fowler:
  AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event / Chicago, IL, USA, 17 October 2021. ACM 2021, ISBN 978-1-4503-9104-7 [contents]
• 2020
• 
  Jakob Otto, Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt:
  Revisiting the network stack in CAF. AGERE!@SPLASH 2020: 21-29
• 
  Mostafa Mohajeri Parizi, Giovanni Sileno, Tom M. van Engers, Sander Klous:
  Run, agent, run! architecture and benchmarking of actor-based agents. AGERE!@SPLASH 2020: 11-20
• 
  Luca Rinaldi, Massimo Torquati, Gabriele Mencagli, Marco Danelutto:
  High-throughput stream processing with actors. AGERE!@SPLASH 2020: 1-10
• 
  Elias Castegren, Joeri De Koster, Thomas C. Schmidt:
  AGERE 2020: Proceedings of the 10th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event, USA, November 17, 2020. ACM 2020, ISBN 978-1-4503-8185-7 [contents]
• 2019
• 
  Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad:
  Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH 2019: 41-50
• 
  Colin S. Gordon:
  Modal assertions for actor correctness. AGERE!@SPLASH 2019: 11-20
• 
  Kouhei Sakurai, Taiki Shimizu:
  Actor-based incremental tree data processing for large-scale machine learning applications. AGERE!@SPLASH 2019: 1-10
• 
  Tim Soethout, Tijs van der Storm, Jurgen J. Vinju:
  Static local coordination avoidance for distributed objects. AGERE!@SPLASH 2019: 21-30
• 
  Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech:
  Locations and session types in a language with higher-order reflection. AGERE!@SPLASH 2019: 31-40
• 
  Federico Bergenti, Elias Castegren, Joeri De Koster, Juliana Franco:
  Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2019, Athens, Greece, October 22, 2019. ACM 2019, ISBN 978-1-4503-6982-4 [contents]
• 2018
• 
  Federico Bergenti, Stefania Monica, Giuseppe Petrosino:
  A scripting language for practical agent-oriented programming. AGERE!@SPLASH 2018: 62-71
• 
  Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang:
  Attached and detached closures in actors. AGERE!@SPLASH 2018: 54-61
• 
  Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt:
  A configurable transport layer for CAF. AGERE!@SPLASH 2018: 1-12
• 
  Dan Plyukhin, Gul Agha:
  Concurrent garbage collection in the actor model. AGERE!@SPLASH 2018: 44-53
• 
  Kazuhiro Shibanai, Takuo Watanabe:
  Distributed functional reactive programming on actor-based runtime. AGERE!@SPLASH 2018: 13-22
• 
  Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter:
  Chocola: integrating futures, actors, and transactions. AGERE!@SPLASH 2018: 33-43
• 
  Xin Zhao, Philipp Haller:
  Observable atomic consistency for CvRDTs. AGERE!@SPLASH 2018: 23-32
• 
  Joeri De Koster, Federico Bergenti, Juliana Franco:
  Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2018, Boston, MA, USA, November 5, 2018. ACM 2018, ISBN 978-1-4503-6066-1 [contents]
• 2017
• 
  Mehdi Bagherzadeh, Hridesh Rajan:
  Order types: static reasoning about message races in asynchronous message passing concurrency. AGERE!@SPLASH 2017: 21-30
• 
  Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou:
  Tree topologies for causal message delivery. AGERE!@SPLASH 2017: 1-10
• 
  Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, Hanspeter Mössenböck:
  A principled approach towards debugging communicating event-loops. AGERE!@SPLASH 2017: 41-49
• 
  Humberto Rodríguez-Avila, Joeri De Koster, Wolfgang De Meuter:
  Sparrow: a DSL for coordinating large groups of heterogeneous actors. AGERE!@SPLASH 2017: 31-40
• 
  Kazuhiro Shibanai, Takuo Watanabe:
  Actoverse: a reversible debugger for actors. AGERE!@SPLASH 2017: 50-57
• 
  Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt:
  Locality-guided scheduling in CAF. AGERE!@SPLASH 2017: 11-20
• 
  Joeri De Koster, Federico Bergenti:
  Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2017, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5516-2 [contents]
• 2016
• 
  Federico Bergenti, Eleonora Iotti, Stefania Monica, Agostino Poggi:
  Interaction protocols in the JADEL programming language. AGERE!@SPLASH 2016: 11-20

skipping 60 more matches