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

• 2024
• 
  David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
  Compiling with Arrays (Artifact). Dagstuhl Artifacts Ser. 10(2): 18:1-18:7 (2024)
• 
  Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
  Qafny: A Quantum-Program Verifier (Artifact). Dagstuhl Artifacts Ser. 10(2): 12:1-12:2 (2024)
• 
  Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
  Runtime Instrumentation for Reactive Components (Artifact). Dagstuhl Artifacts Ser. 10(2): 1:1-1:4 (2024)
• 
  Syed W. Ali, Zelin Tong, Joseph Goh, James H. Anderson:
  Predictable GPU Sharing in Component-Based Real-Time Systems (Artifact). Dagstuhl Artifacts Ser. 10(1): 1:1-1:5 (2024)
• 
  Steven Arzt, Marc Miltenberger, Julius Näumann:
  Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact). Dagstuhl Artifacts Ser. 10(2): 2:1-2:5 (2024)
• 
  Luís Carvalho, João Costa Seco:
  A Language-Based Version Control System for Python (Artifact). Dagstuhl Artifacts Ser. 10(2): 3:1-3:2 (2024)
• 
  Eva Dengler, Peter Wägemann:
  Crêpe: Clock Reconfigurability for Preemption Control (Artifact). Dagstuhl Artifacts Ser. 10(1): 2:1-2:3 (2024)
• 
  Farzaneh Derakhshan, Stephanie Balzer, Yue Yao:
  Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). Dagstuhl Artifacts Ser. 10(2): 4:1-4:3 (2024)
• 
  Aleksandar S. Dimovski:
  Mutation-Based Lifted Repair of Software Product Lines (Artifact). Dagstuhl Artifacts Ser. 10(2): 5:1-5:5 (2024)
• 
  Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
  Pure Methods for roDOT (Artifact). Dagstuhl Artifacts Ser. 10(2): 6:1-6:8 (2024)
• 
  Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine:
  Rose: Composable Autodiff for the Interactive Web (Artifact). Dagstuhl Artifacts Ser. 10(2): 7:1-7:4 (2024)
• 
  Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto:
  Fair Join Pattern Matching for Actors (Artifact). Dagstuhl Artifacts Ser. 10(2): 8:1-8:3 (2024)
• 
  Elad Kinsbruner, Shachar Itzhaky, Hila Peleg:
  Constrictor: Immutability as a Design Concept (Artifact). Dagstuhl Artifacts Ser. 10(2): 9:1-9:4 (2024)
• 
  Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida:
  Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 10(2): 10:1-10:3 (2024)
• 
  Senxi Li, Tetsuro Yamazaki, Shigeru Chiba:
  InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact). Dagstuhl Artifacts Ser. 10(2): 11:1-11:2 (2024)
• 
  Sizhe Liu, Rohan Wagle, James H. Anderson, Ming Yang, Chi Zhang, Yunhua Li:
  Autonomy Today: Many Delay-Prone Black Boxes (Artifact). Dagstuhl Artifacts Ser. 10(1): 3:1-3:3 (2024)
• 
  Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner:
  Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact). Dagstuhl Artifacts Ser. 10(2): 13:1-13:2 (2024)
• 
  Zeina Migeed, Jens Palsberg:
  Generalizing Shape Analysis with Gradual Types (Artifact). Dagstuhl Artifacts Ser. 10(2): 14:1-14:2 (2024)
• 
  Daniele Ottaviano, Francesco Ciraolo, Renato Mancuso, Marcello Cinque:
  The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact). Dagstuhl Artifacts Ser. 10(1): 4:1-4:7 (2024)
• 
  Nisarg Patel, Dennis Shasha, Thomas Wies:
  Verifying Lock-Free Search Structure Templates (Artifact). Dagstuhl Artifacts Ser. 10(2): 15:1-15:2 (2024)
• 
  Dan Plyukhin, Marco Peressotti, Fabrizio Montesi:
  Ozone: Fully Out-of-Order Choreographies (Artifact). Dagstuhl Artifacts Ser. 10(2): 16:1-16:2 (2024)
• 
  Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
  Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). Dagstuhl Artifacts Ser. 10(2): 17:1-17:2 (2024)
• 
  Amos Robinson, Alex Potanin:
  Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). Dagstuhl Artifacts Ser. 10(2): 19:1-19:2 (2024)
• 
  Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
  Java Bytecode Normalization for Code Similarity Analysis (Artifact). Dagstuhl Artifacts Ser. 10(2): 20:1-20:3 (2024)
• 
  Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni:
  Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). Dagstuhl Artifacts Ser. 10(2): 21:1-21:10 (2024)
• 
  Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao:
  Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). Dagstuhl Artifacts Ser. 10(2): 22:1-22:3 (2024)
• 
  Martin Vassor, Nobuko Yoshida:
  Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). Dagstuhl Artifacts Ser. 10(2): 23:1-23:5 (2024)
• 
  Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman:
  Type Tailoring (Artifact). Dagstuhl Artifacts Ser. 10(2): 24:1-24:2 (2024)
• 
  Matthias Becker, Catherine E. Nemitz:
  Front Matter, Table of Contents, Artifact Evaluation Process, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 10(1): 0:i-0:x (2024)
• 
  Karine Even-Mendoza, Raphaël Monat:
  Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. 10(2): 0:i-0:xii (2024)

skipping 3 more matches