• 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 24 matches

• 2019
• 
  Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
  Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5(2): 05:1-05:3 (2019)
• 
  Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn B. Brandenburg:
  Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact). Dagstuhl Artifacts Ser. 5(1): 05:1-05:2 (2019)
• 
  Roberto Cavicchioli, Nicola Capodieci, Marco Solieri, Marko Bertogna:
  API Comparison of CPU-To-GPU Command Offloading Latency on Embedded Platforms (Artifact). Dagstuhl Artifacts Ser. 5(1): 04:1-04:3 (2019)
• 
  Jian-Jia Chen, Tobias Hahn, Ruben Hoeksma, Nicole Megow, Georg von der Brüggen:
  Scheduling Self-Suspending Tasks: New and Old Results (Artifact). Dagstuhl Artifacts Ser. 5(1): 06:1-06:3 (2019)
• 
  Maria Christakis, Manuel Rigger:
  Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(2): 00:i-00:xi (2019)
• 
  Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek:
  On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). Dagstuhl Artifacts Ser. 5(2): 08:1-08:2 (2019)
• 
  Pontus Ekberg:
  Dual Priority Scheduling is Not Optimal (Artifact). Dagstuhl Artifacts Ser. 5(1): 01:1-01:2 (2019)
• 
  Noah Van Es, Quentin Stiévenart, Coen De Roover:
  Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). Dagstuhl Artifacts Ser. 5(2): 07:1-07:2 (2019)
• 
  Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:
  Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. 5(2): 01:1-01:2 (2019)
• 
  George Fourtounis, Yannis Smaragdakis:
  Deep Static Modeling of invokedynamic (Artifact). Dagstuhl Artifacts Ser. 5(2): 06:1-06:4 (2019)
• 
  Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo:
  Semantic Patches for Java Program Transformation (Artifact). Dagstuhl Artifacts Ser. 5(2): 10:1-10:3 (2019)
• 
  Dhruv C. Makwana, Neelakantan R. Krishnaswami:
  NumLin: Linear Types for Linear Algebra (Artifact). Dagstuhl Artifacts Ser. 5(2): 03:1-03:2 (2019)
• 
  Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang:
  Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). Dagstuhl Artifacts Ser. 5(2): 13:1-13:3 (2019)
• 
  Jan de Muijnck-Hughes, Wim Vanderbauwhede:
  A Typing Discipline for Hardware Interfaces (Artifact). Dagstuhl Artifacts Ser. 5(2): 14:1-14:3 (2019)
• 
  Sims Osborne, Joshua Bakita, James H. Anderson:
  Simultaneous Multithreading Applied to Real Time (Artifact). Dagstuhl Artifacts Ser. 5(1): 08:1-08:2 (2019)
• 
  Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin:
  DMAC: Deadline-Miss-Aware Control (Artifact). Dagstuhl Artifacts Ser. 5(1): 03:1-03:3 (2019)
• 
  Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos:
  Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(1): 00:i-00:ix (2019)
• 
  Ori Roth, Yossi Gil:
  Fling - A Fluent API Generator (Artifact). Dagstuhl Artifacts Ser. 5(2): 12:1-12:9 (2019)
• 
  Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
  Modeling Cache Coherence to Expose Interference (Artifact). Dagstuhl Artifacts Ser. 5(1): 07:1-07:2 (2019)
• 
  Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers:
  Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact). Dagstuhl Artifacts Ser. 5(2): 04:1-04:3 (2019)
• 
  Matthias Springer, Hidehiko Masuhara:
  DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact). Dagstuhl Artifacts Ser. 5(2): 02:1-02:2 (2019)
• 
  Corey Tessler, Nathan Fisher:
  NPM-BUNDLE: Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based Thread-Level Scheduling (Artifact). Dagstuhl Artifacts Ser. 5(1): 02:1-02:2 (2019)
• 
  Alexi Turcotte, Ellen Arteca, Gregor Richards:
  Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact). Dagstuhl Artifacts Ser. 5(2): 09:1-09:2 (2019)
• 
  Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder:
  Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact). Dagstuhl Artifacts Ser. 5(2): 11:1-11:3 (2019)